PrototypeCommune
kim-em/lean-zip
Pas de description.
- Propriétaire
- kim-em (compte personnel)
- Étoiles
- Étoiles : 141
- Forks
- Forks : 18
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- chasenorman/CanonicalLeanÉtoiles : 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryÉtoiles : 141LeanPrototype
- leanprover/con-lecheÉtoiles : 141LeanPrototype
- b-mehta/formalising-mathematics-notesÉtoiles : 140LeanPrototype