HoTT Problem Session 3: Identity types (Axel) -- HoTTEST Summer School 2022

Просмотров: 1 | Время: 01:25:30 | Голосов: +1 +1 | Скачать

Скачать клип HoTT Problem Session 3: Identity types (Axel) -- HoTTEST Summer School 2022