AlphaUncommon
leanprover-community/lean
Lean 3 Theorem Prover (community fork)
Archived: this repository is read-only
- Owner
- leanprover-community (organization)
- Stars
- Stars: 436
- Forks
- Forks: 79
- Language
- C++
- License
- Apache-2.0
- Created
- 2019
- Topics
- lean3
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,414LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 818LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 576TypeScriptAlpha
- leanprover-community/batteriesStars: 428LeanAlpha
Nearby in C++
All C++ repos- julelang/juleStars: 436C++Alpha
- NVIDIAGameWorks/dxvk-remixStars: 436C++Alpha
- skizzophrenic/SquachWatch-CYDStars: 436C++Alpha
- arturoc/FaceSubstitutionStars: 436C++Alpha
- bittorrent/bootstrap-dhtStars: 436C++Alpha
- DragonBones/DragonBonesCPPStars: 436C++Alpha