PrototypeCommune
ImperialCollegeLondon/formalising-mathematics-2022
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
- Propriétaire
- ImperialCollegeLondon (organisation)
- Étoiles
- Étoiles : 121
- Forks
- Forks : 22
- Langage
- Lean
- Licence
- Aucune
- Création
- 2022
- 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 : 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxÉtoiles : 255MATLABAlpha
D’autres dépôts Lean
Tous les dépôts Lean- blanchette/logical_verification_2023Étoiles : 122LeanPrototype
- emilyriehl/infinity-cosmosÉtoiles : 122LeanPrototype
- TwoFX/sudokuÉtoiles : 121LeanPrototype
- avigad/lamrÉtoiles : 120LeanPrototype
- rami3l/PLFaLeanÉtoiles : 120LeanPrototype
- google-deepmind/debateÉtoiles : 120LeanPrototype