StableVery rare
leanprover/lean4
Lean 4 programming language and theorem prover
- Owner
- leanprover (organization)
- Stars
- Stars: 9,820
- Forks
- Forks: 1,084
- Language
- Lean
- License
- Apache-2.0
- Created
- 2018
- Topics
- lean4lean
- Tier
- Stable (5,000 to 19,999 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean3Stars: 2,152C++RC
- leanprover/cslibStars: 786LeanBeta
- leanprover/elanStars: 672RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
Nearby in Lean
All Lean repos- openai/mathStars: 17,213LeanStable
- leanprover-community/mathlib4Stars: 4,414LeanRC
- openai/NavierStokesAndEulerStars: 2,120LeanRC
- teorth/analysisStars: 1,975LeanBeta