A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics" - View it on GitHub