GitHub repository: ImperialCollegeLondon/formalising-mathematics-2022
Primary language: Lean
Created: 2022-01-03T17:17:02Z
Description: Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.