AlphaPeu commune
ImperialCollegeLondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
- Propriétaire
- ImperialCollegeLondon (organisation)
- Étoiles
- Étoiles : 264
- Forks
- Forks : 58
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Alpha (250 à 699 ★) 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/sap-voiceboxÉtoiles : 255MATLABAlpha
- ImperialCollegeLondon/sharpyÉtoiles : 198PythonPrototype
D’autres dépôts Lean
Tous les dépôts Lean- trishullab/PutnamBenchÉtoiles : 270LeanAlpha
- tristanbuckmaster/fluid_leanÉtoiles : 267LeanAlpha
- TauCetiProject/TauCetiÉtoiles : 265LeanAlpha
- mit-pdos/perennialÉtoiles : 255LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha