AlphaUncommon
digama0/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
- Owner
- digama0 (personal account)
- Stars
- Stars: 269
- Forks
- Forks: 41
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by digama0
All 3 repos by digama0- digama0/mm0Stars: 422LeanAlpha
- digama0/lean-type-theoryStars: 174TeXPrototype
Nearby in Lean
All Lean repos- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- opencompl/lean-mlirStars: 273LeanAlpha
- trishullab/PutnamBenchStars: 270LeanAlpha
- tristanbuckmaster/fluid_leanStars: 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 262LeanAlpha
- TauCetiProject/TauCetiStars: 260LeanAlpha