leanprover-community/
A Lean file formatter
Archived by leanprover-community Python Apache-2.0 licence 9 forks Created Feb 2019 View on GitHub
- Stars
- 71
- 1% of leanprover-community's stars
- Rank
- #633,686
- of 847,188 repos, top 75%
- In Python
- #128,009
- of 172,244 repos, top 75%
Among 847,188 repos
63–100 stars: 216,339 repos, including format_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 #626,840
- Next milestone
- +7 stars to reach the top 70%
- Yearly average
- 9 stars a year since Feb 2019