Проблемная сессия HoTT 1: Зависимые типы и зависимые функции — Летняя школа HoTTEST 2022
Скачивание Видео
Если ссылки не появляются при нажатии кнопки «Начать скачивание », обновите страницу и повторите попытку.

Подождите, идет подготовка ссылок ...