Dear HoTT Book Coauthors and Users,
After 10 years and thousands of improvements, it’s time to close the book on The Book and declare it officially done! That will happen in a not-so somber ceremony to be live-streamed online from HoTT 2023 in Pittsburgh and Mission Control in Ljubljana at midnight CEST on Wednesday 24 May 2023 (let’s say 11:59pm to avoid the ambiguity).
Please join us to celebrate the occasion! We will use the CMU HoTT Seminar Zoom:
https://cmu.zoom.us/j/622894049
Meeting ID: 622 894 049
Passcode: Brunerie's number
And let’s get those last pull requests resolved people!
Univalent regards,
Steve
11:59 CEST
~ 6pm EDT
= 10pm UTC