Agda and Lean: functional programming meets proving with Juanjo Madrigal and Jorge Mayoral

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

Скачать клип Agda and Lean: functional programming meets proving with Juanjo Madrigal and Jorge Mayoral