5 ms·Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)by vez- 4y agoCheck out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)