PrototypeCommon
ndrwnaguib/principia
Rewriting Principia Mathematica in Lean
- Owner
- ndrwnaguib (personal account)
- Stars
- Stars: 143
- Forks
- Forks: 1
- Language
- Lean
- License
- None
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- Timeroot/Lean-QuantumInfoStars: 147LeanPrototype
- loganrjmurphy/LeanEuclidStars: 145LeanPrototype
- LeanPool/lean-poolStars: 145LeanPrototype
- b-mehta/formalising-mathematics-notesStars: 142LeanPrototype
- chasenorman/CanonicalLeanStars: 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryStars: 141LeanPrototype