formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
of 1 versions of formalising-mathematics-2024
1-1Sort by
Date
c4cfdc6
v4.5.0-rc1
c4cfdc6