leanprover/
An external lean checker with a proof of consistency
by Lean Lean Apache-2.0 licence 11 forks Created Aug 2026 View on GitHub
- Stars
- 150
- 1% of leanprover's stars
- Rank
- #351,207
- of 849,913 repos, top 42%
Among 849,913 repos
100–160 stars: 155,236 repos, including con-leche
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #349,286
- Next milestone
- +7 stars to reach the top 40%
- Popular
- One of 490,038 repos with 100+ stars