TY  - RPRT
TI  - homotopy.io: a proof assistant for finitely-presented globular $n$-categories
AU  - Nathan Corbyn
AU  - Lukas Heidemann
AU  - Nick Hu
AU  - Chiara Sarti
AU  - Calin Tataru
AU  - Jamie Vicary
PY  - 2024
UR  - https://arxiv.org/abs/2402.13179
ID  - 2402.13179
ER  -