Неделя 1: Natural Number Game | Формализация математики на Lean

Игра Марио

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

Скачать клип Неделя 1: Natural Number Game | Формализация математики на Lean