Cita APA (7a ed.)

Corbyn, N., Heidemann, L., Hu, N., Sarti, C., Tataru, C., & Vicary, J. (2024). homotopy.io: A proof assistant for finitely-presented globular $n$-categories.

Cita Chicago Style (17a ed.)

Corbyn, Nathan, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, y Jamie Vicary. Homotopy.io: A Proof Assistant for Finitely-presented Globular $n$-categories. 2024.

Cita MLA (9a ed.)

Corbyn, Nathan, et al. Homotopy.io: A Proof Assistant for Finitely-presented Globular $n$-categories. 2024.