PrototypeCommon
leanprover/lake
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
Archived: this repository is read-only
- Owner
- leanprover (organization)
- Stars
- Stars: 101
- Forks
- Forks: 21
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,820LeanStable
- leanprover/lean3Stars: 2,152C++RC
- leanprover/cslibStars: 789LeanBeta
- leanprover/elanStars: 672RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
Nearby in Lean
All Lean repos- AxiomMath/IMO2026Stars: 103LeanPrototype
- dwrensha/animate-lean-proofsStars: 102LeanPrototype
- NethermindEth/EVMYulLeanStars: 101LeanPrototype
- JOSHCLUNE/LeanHammerStars: 100LeanPrototype