Введение в Coq (1/n)

Среда, 17 февраля 2021
Онлайн, занятие в zoom

Описание

Пример для изучения базовых тактик в Coq.