Homotopy Type Theory
Covering Spaces in Homotopy Type Theory (history)

October 17, 2018