ImperialCollegeLondon/
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
by Imperial College London Lean Apache-2.0 licence 174 forks Created Nov 2023 View on GitHub
- Stars
- 1,055
- 15% of ImperialCollegeLondon's stars
- Rank
- #63,538
- of 851,984 repos, top 8%
Among 851,984 repos
1k–1.6k stars: 23,676 repos, including FLT
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 #63,484
- Next milestone
- +6,165 stars to reach the top 1%
- Popular
- One of 66,569 repos with 1k+ stars
- Yearly average
- 353 stars a year since Nov 2023