Найти в Дзене
Войти
1,0×
Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
38 просмотров · 7 лет назад
00:00
/
01:16:15
Лекториум
1323 подписчиков
Подписаться
2337875327.1231.1789252334619.66897