Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura

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

Скачать клип Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura