aris-uu / m1f-explained Goto Github PK
View Code? Open in Web Editor NEWThis project forked from imperialcollegelondon/m1f-explained
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
License: Apache License 2.0