callesonne

Pinned Repositories

• mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k299

• mathlib4

  The math library of Lean 4

  Language:Lean1.4k305

• M4P33

  M4 algebraic geometry course in Lean

  Language:Lean575

• condensed-sets

  Condensed mathematics in Lean

  Language:Lean52

• Stacks-project

  Language:Lean41

• urop2019

  Summer UROP 2019 project repository.

  Language:Python31

• herstein

  notes for Herstein's Topics in Algebra, written in Lean

  Language:Lean00

callesonne's Repositories