hott-thesis Homotopy Type Theory as an Alternative Foundation to Mathematics The paper is named hott-thesis and the slide deck is named hott-thesis-presentation.