ImperialCollegeLondon / formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
202Updated last month

Alternatives and similar repositories for formalising-mathematics-2024:

Users that are interested in formalising-mathematics-2024 are comparing it to the libraries listed below