homotopy.io: a proof assistant for finitely-presented globular n-categories

arXiv2402.13179MaRDI QIDQ6522672FDOQ6522672

Authors: Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary 

Has companion code repository: https://github.com/homotopy-io/homotopy-rs

This page was built for publication: homotopy.io: a proof assistant for finitely-presented globular $n$-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6522672)