Kontorovich, A., & Tao, T. (2024). Covering Spaces Project (Version 0.1.0) [Computer software]. https://github.com/AlexKontorovich/CoveringSpacesProject