5 ms·
Interestingly, the entire source code of the HoTT book is available on github and it is under active development: https://github.com/HoTT/book https://github.co
by ivan_ah 13y ago
Interestingly, the entire source code of the HoTT book is available on github and it is under active development: https://github.com/HoTT/book https://github.com/HoTT/book
- Tyr42 13y agoWhich 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.