ImperialCollegeLondon/
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
by Imperial College London Lean 22 forks Created Jan 2022 View on GitHub
- Stars
- 121
- 2% of ImperialCollegeLondon's stars
- Rank
- #418,340
- of 851,992 repos, top 50%
Among 851,992 repos
100–160 stars: 155,455 repos, including formalising-mathematics-2022
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 #415,630
- Next milestone
- +35 stars to reach the top 40%
- Popular
- One of 490,655 repos with 100+ stars
- Yearly average
- 25 stars a year since Jan 2022