Interestingly, the entire source code of the HoTT book is available on github an... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ivan_ah on Dec 15, 2013 | parent | context | favorite | on: Voevodsky’s Mathematical Revolution

Interestingly, the entire source code of the HoTT book is available on github and it is under active development: https://github.com/HoTT/book

Tyr42 on Dec 15, 2013 [–]

Which is a great boon, as I've edited the latex and recompiled it to fit perfectly on my Kindle.

I really wish more people would open source their books.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact