Азы функционального программирования в Coq
Пятница, 14 февраля 2020
Таймс, ауд. 410
Практика написания функциональных программ в Coq. Для данного занятия необходим компьютер с настроенной средой для работы с Coq.