GitHub repository: ImperialCollegeLondon/formalising-mathematics-2024
Primary language: Lean
Description: Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.