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
Lean
Stargazers
- AlexsaphirFrance
- alreadydoneBethesda, MD / Shenzhen
- bakerjd99Meridian Idaho
- Biiiilly
- cuppajoeman
- daniel-manning@47deg
- dannypsnl@second-state
- danoneataRomania
- denisfitz57
- diomidovMIT
- drhodesNew Hampshire
- esg
- fangyi-zhouretail m e g a c o r p
- fjzzq2002Cambridge, MA
- Girgias@ThePHPF
- HrushikeshPawarIndia
- HughshineChina, Nanjing
- igstanEloquentix
- jaalonsoUniversidad de Sevilla
- JoeyTeng@Cisco, @Imperial College London
- Julian-KuelshammerUppsala University
- lisiyuan656Sensetime
- lrlucena@IFRN
- MarkDanaCarnegie Mellon University
- Paul-Lez
- philzook58Draper
- regmicmahesh@leapfrogtechnology
- rozaNice, France
- ShawonAshrafellamind GmbH
- SnopoffIITP Russian Academy of Sciences
- thebooortUniversidad de Granada
- therewillbecodeEdinburgh, UK
- trjobUnited Kingdom
- YaelDilliesFrance
- yjl9903Afterglow
- zqy1018???