ImperialCollegeLondon / formalising-mathematics-2024Links

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
217Updated 2 months ago

Alternatives and similar repositories for formalising-mathematics-2024

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

Sorting: