APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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