leanprover/
Package registry for Lean/Lake.
by Lean Vue Apache-2.0 licence 9 forks Created Sept 2023 View on GitHub
- Stars
- 53
- <1% of leanprover's stars
- Rank
- #801,430
- of 852,045 repos, top 95%
- In Vue
- #5,976
- of 6,362 repos, top 94%
Among 852,045 repos
40–63 stars: 143,701 repos, including reservoir
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 #789,916
- Next milestone
- +4 stars to reach the top 90%
- Yearly average
- 17 stars a year since Sept 2023