MIPT-Coq-21-Lect-11
Интерактивное доказывание теорем (Сoq) в МФТИ. Темы: индуктивные предикаты (продолжение); рефлексия.
Название:
MIPT-Coq-21-Lect-11
Категория:
РазноеИнтерактивное доказывание теорем (Сoq) в МФТИ. Темы: индуктивные предикаты (продолжение); рефлексия.
Название:
MIPT-Coq-21-Lect-11
Категория:
Разное