Y
Hacker News
new
|
ask
|
show
|
jobs
by
yoran
4575 days ago
Would anyone mind clarifying what "HoTT" stands for?
2 comments
ehsanu1
4575 days ago
http://homotopytypetheory.org/
link
shpx
4575 days ago
http://lmgtfy.com/?q=HoTT
read the article. HOmotopy Type Theory
link