LftCM2020: Mathematics in Lean introduction - Patrick Massot

Игра Марио

Просмотров: 2,301 | Время: 40:34 | Голосов: +1 +1 | Скачать

Скачать клип LftCM2020: Mathematics in Lean introduction - Patrick Massot