formalising-mathematics-2024. Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.