PrototypeCommon
b-mehta/formalising-mathematics-notes
Course notes for Formalising Mathematics 2026
- Owner
- b-mehta (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 54
- Language
- Lean
- License
- MIT
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- YuanheZ/lean-stat-learning-theoryStars: 141LeanPrototype
- kim-em/lean-zipStars: 141LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype