Homotopy Type Theory
Covering Spaces in Homotopy Type Theory

Covering Spaces in Homotopy Type Theory, Kuen-Bang Hou (Favonia)

See also

category: reference