leanprover/
Lean 4 programming language and theorem prover
by Lean Lean Apache-2.0 licence 1,102 forks Created Apr 2018 View on GitHub
- Stars
- 9,953
- 55% of leanprover's stars
- Rank
- #5,780
- of 847,086 repos, top 0.7%
Among 847,086 repos
6.3k–10k stars: 4,195 repos, including lean4
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
- +2 stars to reach #5,778
- Next milestone
- +28,192 stars to reach the top 0.1%
- Popular
- One of 66,308 repos with 1k+ stars
- Yearly average
- 1,161 stars a year since Apr 2018