Введение в Coq (1/n)
Среда, 17 февраля 2021
Онлайн, занятие в zoom
Пример для изучения базовых тактик в Coq.