HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by arto | Hacker News Reader
Parent
Full thread
arto
·
Source, pretty please?
View on HN
hiker
·
It's from
https://hott.github.io/book/nightly/hott-online-1174-g29279f...
arto
·
Thanks!
shawn
·
https://books.google.com/books?id=LkDUKMv3yp0C&pg=PA11&lpg=P...
Homotopy Type Theory: Univalent Foundations of Mathematics
arto
·
Thanks!
Reply on news.ycombinator.com