GitHub repository: ImperialCollegeLondon/m1fexplained
Primary language: Lean
Created: 2022-07-01T15:11:46Z
Description: A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"