Interactive theorem proving and the Lean theorem prover

Игра Марио

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

Скачать клип Interactive theorem proving and the Lean theorem prover