PrototypeCommune
ndrwnaguib/principia
Rewriting Principia Mathematica in Lean
- Propriétaire
- ndrwnaguib (compte personnel)
- Étoiles
- Étoiles : 143
- Forks
- Forks : 1
- Langage
- Lean
- Licence
- Aucune
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- Timeroot/Lean-QuantumInfoÉtoiles : 147LeanPrototype
- loganrjmurphy/LeanEuclidÉtoiles : 145LeanPrototype
- LeanPool/lean-poolÉtoiles : 145LeanPrototype
- b-mehta/formalising-mathematics-notesÉtoiles : 142LeanPrototype
- chasenorman/CanonicalLeanÉtoiles : 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryÉtoiles : 141LeanPrototype