Also, a draft of book itself was used for the 2022 summer school: https://github.com/martinescardo/HoTTEST-Summer-School/tree/main/HoTT https://github.com/mart

Also, a draft of book itself was used for the 2022 summer school: https://github.com/martinescardo/HoTTEST-Summer-School/tree/main/HoTT https://github.com/martinescardo/HoTTEST-Summer-School/tree/... https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_su... I didn't really have time for the school, but I'm working through the book to learn MLTT. (Although I took a break to work through PLFA and do advent of code.)