leanprover-community/
Formalization of the existence of sphere eversions
by leanprover-community Lean Apache-2.0 licence 19 forks Created Jun 2020 View on GitHub
- Stars
- 50
- <1% of leanprover-community's stars
- Rank
- #835,459
- of 848,579 repos, top 99%
Among 848,579 repos
40–63 stars: 141,884 repos, including sphere-eversion
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 #822,902
- Next milestone
- +7 stars to reach the top 90%
- Yearly average
- 8 stars a year since Jun 2020