Coq-практикум

Компьютерный практикум по автоматизированной проверке доказательств

Практикум проводится в осеннем полугодии для студентов 3-го курса кафедры математической логики и теории алгоритмов мехмата МГУ.

Материалы курса: