The Seifert–Van Kampen Theorem in Homotopy Type Theory (2016) [pdf] home.sandiego.edu 1 points by measurablefunc 8 hours ago