@misc{dagstuhl-artifact-22492,
title = {{Formalization of Classification of Covering Spaces and Canonical Change of Basepoint in HoTT}},
author = {Wemmenhove, Jelle and Manea, Cosmin and Portegies, Jim},
note = {Software, version 0.3., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:bea0c0af55e3ec9869679f3a5611cc5154a9ddbf;origin=https://gitlab.tue.nl/computer-verified-proofs/covering-spaces;visit=swh:1:snp:6b1d9a68d2f10e958534db29214f30ddd1dd9db3;anchor=swh:1:rev:cfc827a2b07f8cb93b412bd6e551d31fae044fb9}{\texttt{swh:1:dir:bea0c0af55e3ec9869679f3a5611cc5154a9ddbf}} (visited on 2024-11-28)},
url = {https://gitlab.tue.nl/computer-verified-proofs/covering-spaces},
doi = {10.4230/artifacts.22492},
}