GitHub repository: ImperialCollegeLondon/M1F-explained
Primary language: Lean
Created: 2023-07-03T09:39:37Z
Description: A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"