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

Nathan CorbynLukas HeidemannNick HuChiara SartiCalin TataruJamie Vicary
Published in: CoRR (2024)