# Homotopy type theory

- [Homotopy type theory](/math-debrief/350-type-theory/hott/hott.md)
- [Univalent Type theory as the foundations of mathematics](/math-debrief/350-type-theory/hott/univalent-type-theory-as-fom.md)
