homotopy.io: a proof assistant for finitely-presented globular $n$-categories
From MaRDI portal
Publication:6522672
zbMatharXiv:2402.13179MaRDI QIDQ6522672
Lukas Heidemann, Nick Hu, Nathan Corbyn, Calin Tataru, Jamie Vicary, Chiara Sarti
Publication date: 1 January 1
This page was built for publication: homotopy.io: a proof assistant for finitely-presented globular $n$-categories