GitHub repository: ImperialCollegeLondon/formalising-mathematics-2023
Primary language: Lean
Created: 2023-01-07T11:25:18Z
Description: repository for material for Jan-Mar 2023 course on formalising mathematics