KIRIKODESU

KIRIKODESU's Stars

• Multramate/IC-GANT

  Imperial College London lecture notes for Geometry, Algebra, and Number Theory

  Language:TeX356

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22722

• ImperialCollegeLondon/M4P33

  M4 algebraic geometry course in Lean

  Language:Lean585