PrototypeCommune
Pengbinghui/pipeline-math
Pas de description.
- Propriétaire
- Pengbinghui (compte personnel)
- Étoiles
- Étoiles : 243
- Forks
- Forks : 16
- Langage
- Lean
- Licence
- Aucune
- 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- leanprover/comparatorÉtoiles : 247LeanPrototype
- teorth/pfrÉtoiles : 246LeanPrototype
- leanprover-community/iris-leanÉtoiles : 245LeanPrototype
- leanprover-community/replÉtoiles : 237LeanPrototype
- leanprover-community/ProofWidgets4Étoiles : 231LeanPrototype
- ShouqiaoW/erdosÉtoiles : 230LeanPrototype