MIPT-Coq-26-Lect-02

Аватар автора
evgeny.dashkov
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: бестиповое лямбда-исчисление; термы и подстановки; редукции; лемма о ромбе, теорема Чёрча-Россера, единственность нормальной формы.

0/0


0/0

0/0

0/0

Скачать популярное видео

Популярное видео

0/0