Nightly Builds - HoTT/book GitHub Wiki

Below are links to "nightly builds" of the book, incorporating fixes and improvements that have not yet been incorporated into the "released version" that can be found on the official book web site. The nightly builds are updated automatically; their most recent update was on January 11, 2024 and their version marker is "first-edition-13-g2e736d1".

• PDF for on-screen viewing
• PDF for e-book readers
• PDF for printing on letter paper
• PDF for printing on A4 paper
• errata for previous versions