# b-mehta/formalising-mathematics-notes

<https://repo.masters-masters.com/repos/b-mehta/formalising-mathematics-notes>

[Accueil](https://repo.masters-masters.com/) › [b-mehta](https://repo.masters-masters.com/owners/b-mehta) › [formalising-mathematics-notes](https://repo.masters-masters.com/repos/b-mehta/formalising-mathematics-notes)

b-mehta/formalising-mathematics-notes, dépôt open source à 142 étoiles sur GitHub. Carte Prototype de RepoMasters. Course notes for Formalising Mathematics 2026

| Champ | Valeur |
| --- | --- |
| Propriétaire | [b-mehta](https://repo.masters-masters.com/owners/b-mehta) |
| Étoiles | 142 |
| Forks | 55 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | MIT |
| Création | 2025 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [b-mehta/formalising-mathematics-notes](https://github.com/b-mehta/formalising-mathematics-notes) |

## Fiche du dépôt

Course notes for Formalising Mathematics 2026

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Lean

- [loganrjmurphy/LeanEuclid · ★ 145 · Lean · Prototype](https://repo.masters-masters.com/repos/loganrjmurphy/LeanEuclid)
- [LeanPool/lean-pool · ★ 145 · Lean · Prototype](https://repo.masters-masters.com/repos/LeanPool/lean-pool)
- [ndrwnaguib/principia · ★ 143 · Lean · Prototype](https://repo.masters-masters.com/repos/ndrwnaguib/principia)
- [chasenorman/CanonicalLean · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/chasenorman/CanonicalLean)
- [YuanheZ/lean-stat-learning-theory · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/YuanheZ/lean-stat-learning-theory)
- [kim-em/lean-zip · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/kim-em/lean-zip)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.