https://tqft.net [email protected]
Canberra
Kim Morrison
An experimental category theory library for Lean
semorrison