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
- wjwesley
- Vilin97Seattle
- razumauKraków
- mothball
- kokruiSingapore
- TinyAtoms
- georgiansarghi
- chrt
- mapeheHelsinki
- FiazAbrar
- BachoSevenPisa, Italy
- Yosuke-Ito-345Tokyo, Japan
- tnaoiLos Angeles
- epogrebnyakMoscow
- yishibashi
- mbparis
- xiaoxiangmoe
- nikitavoloboev
- danielesk
- zenmov
- boutil
- PersephoneX
- victorcrrdCádiz, Spain
- anatolvitold
- phillbushBrazil
- link2xt
- m-mastertonSurrey, United Kingdom
- charlie-chaoscatTaipei, Taiwan
- bilalaytekin
- lendenmc
- FA5I
- etdrIndiana, USA
- universemaster
- greysomeSingapore
- utensil
- BrentKylling