ImperialCollegeLondon/
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
by Imperial College London Lean Apache-2.0 licence 21 forks Created Jan 2021 View on GitHub
- Stars
- 317
- 5% of ImperialCollegeLondon's stars
- Rank
- #188,120
- of 851,984 repos, top 23%
Among 851,984 repos
250–400 stars: 77,404 repos, including formalising-mathematics
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 #187,582
- Next milestone
- +39 stars to reach the top 20%
- Popular
- One of 490,652 repos with 100+ stars
- Yearly average
- 55 stars a year since Jan 2021