MIPT-Coq-26-Lect-05

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: вывод типов (продолжение); свойства системы вывода типов; программирование в бестиповом лямбда-исчислении.

Иконка канала evgeny.dashkov
evgeny.dashkov
21 подписчик
12+
18 просмотров
месяц назад
ПожаловатьсяНарушение авторских прав
12+
18 просмотров
месяц назад

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: вывод типов (продолжение); свойства системы вывода типов; программирование в бестиповом лямбда-исчислении.

, чтобы оставлять комментарии