Coq — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
Строка 12: Строка 12:
 
* [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019]
 
* [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019]
 
* https://math-comp.github.io/mcb/book.pdf
 
* https://math-comp.github.io/mcb/book.pdf
 +
* https://ilyasergey.net/pnp/

Версия 17:17, 13 октября 2020

Заголовок

Coq
Автор
Стас Фомин
Нижний колонтитул
Coq
Дополнительный нижний колонтитул

Стас Фомин, 08:46, 10 ноября 2020


Ссылки