ImperialCollegeLondon / M1F-explained

A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
10Updated last year

Related projects

Alternatives and complementary repositories for M1F-explained