Введение в Coq (1/3)
Четверг, 20 февраля 2020
Таймс, 2 этаж, ауд.204
Пример для изучения базовых тактик в Coq.