The Univalent Foundations through UniMath and some combinatorial problems (part 1)

Игра Марио

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

Скачать клип The Univalent Foundations through UniMath and some combinatorial problems (part 1)