mel-brown/hott-thesisHomotopy Type Theory as an Alternative Foundation to Mathematics - GitHub - mixphix/hott-thesis: Homotopy Type Theory as an Alternative Foundation to Mathematics#melanie-brown#homotopy-type-theory·github.com·Jan 7, 2020mel-brown/hott-thesis