Введение в язык формальной верификации Coq. Лекция 1 Лекция Партнёр:Computer Science Center Предмет:Computer Science Лектор:Антон Трунов Курс лекций: Введение в язык формальной верификации Coq Дата записи:22.09.19 Дата публикации:26.09.19 <a href="https://www.youtube.com/embed/T_q5sQ5pQ7g?wmode=opaque">Embedded video for Введение в язык формальной верификации Coq. Лекция 1</a> Код для блога: Другие лекции курса1 Введение в язык формальной верификации Coq. Лекция 2 Computer Science Center Антон Трунов