PrototypeCommune
ImperialCollegeLondon/M40001_lean
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
- Propriétaire
- ImperialCollegeLondon (organisation)
- Étoiles
- Étoiles : 165
- Forks
- Forks : 15
- Langage
- Lean
- Licence
- Aucune
- Création
- 2019
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ImperialCollegeLondon
Les 10 dépôts de ImperialCollegeLondon- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- ImperialCollegeLondon/covid19modelÉtoiles : 941StanBêta
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 263LeanAlpha
- ImperialCollegeLondon/sap-voiceboxÉtoiles : 255MATLABAlpha
D’autres dépôts Lean
Tous les dépôts Lean- openai/PrimeGaps186Étoiles : 169LeanPrototype
- verse-lab/loomÉtoiles : 167LeanPrototype
- Verilean/sparkleÉtoiles : 167LeanPrototype
- PatrickMassot/verbose-lean4Étoiles : 163LeanPrototype
- nomeata/loogleÉtoiles : 160LeanPrototype
- AxiomMath/CFSGÉtoiles : 156LeanPrototype