RCEpic
leanprover/lean3
Lean Theorem Prover
Archived: this repository is read-only
- Owner
- leanprover (organization)
- Stars
- Stars: 2,152
- Forks
- Forks: 226
- Language
- C++
- License
- Apache-2.0
- Created
- 2013
- Topics
- programming-languagetheorem-provingtype-theoryverificationdependent-typeslean
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,820LeanStable
- leanprover/cslibStars: 789LeanBeta
- leanprover/elanStars: 672RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
Nearby in C++
All C++ repos- mike4192/spotMicroStars: 2,161C++RC
- intel/openvino-plugins-ai-audacityStars: 2,154C++RC
- Tw1ddle/geometrizeStars: 2,153C++RC
- TorqueGameEngines/Torque3DStars: 2,151C++RC
- SpecialKO/SpecialKStars: 2,148C++RC
- sisong/HDiffPatchStars: 2,147C++RC