2 ms·http://lmgtfy.com/?q=HoTT http://lmgtfy.com/?q=HoTT read the article. HOmotopy Type Theoryby shpx 13y agohttp://lmgtfy.com/?q=HoTT http://lmgtfy.com/?q=HoTT read the article. HOmotopy Type Theory