HoTTEST Summer School materials
Why do you think that https://github.com/HoTT/book is a good alternative to HoTTEST-Summer-School
HoTTEST Summer School materials
Why do you think that https://github.com/HoTT/book is a good alternative to HoTTEST-Summer-School