Category Theory & Cobordism Categories in Lean 4
Primary LanguageLean
No issues in this repository yet.