leanprover-community/
A template for blueprint-driven formalization projects in Lean.
by leanprover-community Python Apache-2.0 licence 17 forks Created Jul 2024 View on GitHub
- Stars
- 121
- 1% of leanprover-community's stars
- Rank
- #416,699
- of 847,086 repos, top 50%
- In Python
- #82,825
- of 172,210 repos, top 49%
Among 847,086 repos
100–160 stars: 154,379 repos, including LeanProject
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 #413,996
- Next milestone
- +36 stars to reach the top 40%
- Popular
- One of 488,402 repos with 100+ stars
- Yearly average
- 53 stars a year since Jul 2024