PrototypeCommune
b-mehta/formalising-mathematics-notes
Course notes for Formalising Mathematics 2026
- Propriétaire
- b-mehta (compte personnel)
- Étoiles
- Étoiles : 140
- Forks
- Forks : 54
- Langage
- Lean
- Licence
- MIT
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- YuanheZ/lean-stat-learning-theoryÉtoiles : 141LeanPrototype
- kim-em/lean-zipÉtoiles : 141LeanPrototype
- leanprover/con-lecheÉtoiles : 141LeanPrototype
- goedelcodeprover/Goedel-Code-ProverÉtoiles : 138LeanPrototype
- leanprover/reference-manualÉtoiles : 137LeanPrototype
- openai/cdc-leanÉtoiles : 136LeanPrototype