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