leanprover/
Lean Theorem Prover
Archived by Lean C++ Apache-2.0 licence 226 forks Created Jul 2013 View on GitHub
- Stars
- 2,151
- 12% of leanprover's stars
- Rank
- #31,628
- of 847,070 repos, top 4%
- In C++
- #1,625
- of 45,202 repos, top 4%
Among 847,070 repos
1.6k–2.5k stars: 15,611 repos, including lean3
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 #31,618
- Next milestone
- +5,079 stars to reach the top 1%
- Popular
- One of 66,291 repos with 1k+ stars
- Yearly average
- 161 stars a year since Jul 2013