GitHub repository: ImperialCollegeLondon/M4P33
Primary language: Lean
Created: 2020-01-12T00:19:28Z
Description: M4 algebraic geometry course in Lean