4 ms·Would anyone mind clarifying what "HoTT" stands for?by yoran 13y agoWould anyone mind clarifying what "HoTT" stands for?shpx 13y agohttp://lmgtfy.com/?q=HoTT http://lmgtfy.com/?q=HoTT read the article. HOmotopy Type Theoryehsanu1 13y agohttp://homotopytypetheory.org/ http://homotopytypetheory.org/