Найти в Дзене
Войти
1,0×
Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
16 просмотров · 6 лет назад
00:00
/
01:41:27
Лекториум
1097 подписчиков
Подписаться
Хотите видеть больше публикаций по теме «Образование»?
Давайте
Образование
4,84 млн интересуются
Следить за темой
996666873.1598.1751151328877.61445