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