GitHub repository: ImperialCollegeLondon/formalising-mathematics
Primary language: Lean
Created: 2021-01-21T10:27:31Z
Description: 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