MIPT-Coq-25-Lect-03

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