PrototypeCommune
LeanPool/lean-pool
Pas de description.
- Propriétaire
- LeanPool (organisation)
- Étoiles
- Étoiles : 144
- Forks
- Forks : 33
- 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- kmill/lean4-raytracerÉtoiles : 147LeanPrototype
- Timeroot/Lean-QuantumInfoÉtoiles : 146LeanPrototype
- loganrjmurphy/LeanEuclidÉtoiles : 145LeanPrototype
- ndrwnaguib/principiaÉtoiles : 143LeanPrototype
- chasenorman/CanonicalLeanÉtoiles : 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryÉtoiles : 141LeanPrototype