AlphaUncommon
leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
- Owner
- leanprover (organization)
- Stars
- Stars: 286
- Forks
- Forks: 144
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4lean
- Tier
- Alpha (250 to 699 ★) 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- FormalizedFormalLogic/FoundationStars: 296LeanAlpha
- konne88/functorioStars: 295LeanAlpha
- strata-org/StrataStars: 287LeanAlpha
- opencompl/lean-mlirStars: 273LeanAlpha
- trishullab/PutnamBenchStars: 270LeanAlpha
- digama0/lean4leanStars: 269LeanAlpha