PrototypeCommon
LeanPool/lean-pool
No description.
- Owner
- LeanPool (organization)
- Stars
- Stars: 144
- Forks
- Forks: 33
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- kmill/lean4-raytracerStars: 147LeanPrototype
- Timeroot/Lean-QuantumInfoStars: 146LeanPrototype
- loganrjmurphy/LeanEuclidStars: 145LeanPrototype
- ndrwnaguib/principiaStars: 143LeanPrototype
- chasenorman/CanonicalLeanStars: 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryStars: 141LeanPrototype