ImperialCollegeLondon/
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
by Imperial College London Lean 15 forks Created Sept 2019 View on GitHub
- Stars
- 166
- 2% of ImperialCollegeLondon's stars
- Rank
- #323,450
- of 851,984 repos, top 38%
Among 851,984 repos
160–250 stars: 104,058 repos, including M40001_lean
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 #321,868
- Next milestone
- +55 stars to reach the top 30%
- Popular
- One of 490,652 repos with 100+ stars
- Yearly average
- 23 stars a year since Sept 2019