leanprover-community/
The user home repository for the Mathematics in Lean tutorial.
by leanprover-community HTML Apache-2.0 licence 443 forks Created Apr 2020 View on GitHub
- Stars
- 630
- 5% of leanprover-community's stars
- Rank
- #102,028
- of 852,045 repos, top 12%
- In HTML
- #2,429
- of 24,466 repos, top 10%
Among 852,045 repos
630–1k stars: 35,609 repos, including mathematics_in_lean
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 #101,874
- Next milestone
- +137 stars to reach the top 10%
- Popular
- One of 490,720 repos with 100+ stars
- Yearly average
- 96 stars a year since Apr 2020