I am excited for this Homotopy Type theory online learning.
The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022.
#HoTT #typetheory
https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022.
#HoTT #typetheory
https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
HoTTEST Summer School 2022
Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.uwo.ca