homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.

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

Browse the full FSCD paper archive.