PrototypeCommon
kim-em/lean-zip
No description.
- Owner
- kim-em (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 18
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- chasenorman/CanonicalLeanStars: 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryStars: 141LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype