GitHub repository: ImperialCollegeLondon/M1P1-lean
Primary language: Lean
Created: 2019-01-15T12:17:56Z
Description: Material from M1P1, formalised in Lean