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