Hellow guys, Welcome to my website, and you are watching Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory III. and this vIdeo is uploaded by Weizsäcker-Zentrum Universität Tübingen at 2021-02-08T22:16:55-08:00. We are pramote this video only for entertainment and educational perpose only. So, I hop you like our website.
