PrototypeCommune
kbuzzard/xena
Lean Library currently studying for a degree at Imperial College
- Propriétaire
- kbuzzard (compte personnel)
- Étoiles
- Étoiles : 229
- Forks
- Forks : 22
- Langage
- Lean
- Licence
- Aucune
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/replÉtoiles : 237LeanPrototype
- leanprover-community/ProofWidgets4Étoiles : 231LeanPrototype
- ShouqiaoW/erdosÉtoiles : 230LeanPrototype
- avigad/mathematics_in_lean_sourceÉtoiles : 223LeanPrototype
- cedar-policy/cedar-specÉtoiles : 220LeanPrototype
- cmu-l3/llmleanÉtoiles : 217LeanPrototype