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