Лекция 1 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическая лаборатория имени П.Л. Чебышева
Смотрите это видео на Лекториуме: www.lektorium.tv/node/35486
Смотрите другие лекции курса «Введение в язык формальной верификации Coq»: www.lektorium.tv/node/35485
Подписывайтесь на канал: www.lektorium.tv/ZJA
Следите за новостями:
openlektorium
/ openlektorium