PrototypeCommon
ImperialCollegeLondon/M40001_lean
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
- Owner
- ImperialCollegeLondon (organization)
- Stars
- Stars: 165
- Forks
- Forks: 15
- Language
- Lean
- License
- None
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ImperialCollegeLondon
All 10 repos by ImperialCollegeLondon- ImperialCollegeLondon/FLTStars: 1,056LeanBeta
- ImperialCollegeLondon/covid19modelStars: 941StanBeta
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha
Nearby in Lean
All Lean repos- openai/PrimeGaps186Stars: 169LeanPrototype
- verse-lab/loomStars: 167LeanPrototype
- Verilean/sparkleStars: 167LeanPrototype
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype
- nomeata/loogleStars: 160LeanPrototype
- AxiomMath/CFSGStars: 159LeanPrototype