leanprover-community/
A formal consistency proof of Quine's set theory New Foundations
by leanprover-community Lean Apache-2.0 licence 10 forks Created Mar 2022 View on GitHub
- Stars
- 89
- 1% of leanprover-community's stars
- Rank
- #533,037
- of 852,119 repos, top 63%
Among 852,119 repos
63–100 stars: 217,631 repos, including con-nf
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 #528,333
- Next milestone
- +5 stars to reach the top 60%
- Yearly average
- 19 stars a year since Mar 2022