GitHub repository: ImperialCollegeLondon/m1fexplained_lean3
Primary language: Lean
Description: A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"