Y
Hacker News
new
|
ask
|
show
|
jobs
by
arto
2933 days ago
Source, pretty please?
2 comments
hiker
2932 days ago
It's from
https://hott.github.io/book/nightly/hott-online-1174-g29279f...
link
arto
2932 days ago
Thanks!
link
shawn
2933 days ago
https://books.google.com/books?id=LkDUKMv3yp0C&pg=PA11&lpg=P...
Homotopy Type Theory: Univalent Foundations of Mathematics
link
arto
2932 days ago
Thanks!
link