ImperialCollegeLondon/formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
LeanApache-2.0
Stargazers
- AcentellesLondon
- albertqjiangUniversity of Cambridge
- alreadydoneHeidelberg / Shenzhen
- amadeusine〇〇県、東アジア
- apurvnakadeNorthwestern University
- arademakerIBM Research and EMAp/FGV
- BiditmangalGwalior,India
- Borsuk1
- bvisch
- crebello
- denisfitz57
- dranovSingapore
- ebigram
- freeman42xGuardians of Life
- hammer
- hargoniXLean FRO
- hierophantos
- huynhtrankhanh@coq-community
- hyp3r5pace
- jaalonsoUniversidad de Sevilla
- jasdevThe Browser Company
- jsstapleton
- Julian-KuelshammerUppsala University
- kyw-iduce
- mtrsk@Divisions-Maintenance-Group @schonfinkel
- natestemen@unitaryfund
- nikitavoloboevMadrid
- nwoeanhinnogaehrUniversity of Waterloo
- outlaceChampaign, IL
- owainwestThinknum Alternative Data
- paulcadmanLondon
- rvodden@rvodden
- shantanu3637
- ungatzIndiana University
- xuanruiqiGraduate School of Mathematics, Nagoya University
- yagudin