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