Ulrik Buchholtz, (Co)cartesian families in simplicial type theory

Игра Марио

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

Скачать клип Ulrik Buchholtz, (Co)cartesian families in simplicial type theory