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

MaRDI QIDQ6522672arXivFDO

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)