hannahfechtner

Pinned Repositories

• braids_better

  better braids

  Language:Lean00

• msri_cut_theorem

  Language:Lean00

• mathlib4

  The math library of Lean 4

  Language:Lean1.5k336

hannahfechtner's Repositories