Classification of Covering Spaces and Canonical Change of Basepoint. - Jelle Wemmenhove; Cosmin Manea; Jim Portegies (TYPES, 2023)

Formalization of Classification of Covering Spaces and Canonical Change of Basepoint in HoTT. - Jelle Wemmenhove; Cosmin Manea; Jim Portegies (DROPS Artifacts, 2024)