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