HoTT for Cools
Warm Yourself Up Before Learning Homotopy Type Theory [Alpha Version] https://www.mehranbaghi.com/hott_for_cools/
Warm Yourself Up Before Learning Homotopy Type Theory [Alpha Version] https://www.mehranbaghi.com/hott_for_cools/