MIPT-Coq-23-Lect-05

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: лямбда-исчисление с простыми типами и его свойства; “программирование“ в данном исчислении. ВНИМАНИЕ: 4-й лекции нет — см. лекцию 3 из “параллельных курсов“ в настоящем playlist'е. ======== Если видео показалось вам полезным, вы можете поддержать автора: === If you have found this video helpful, you might want to support the author: === BTC: bc1q3p5x57cppjs0rfgj5f406yrljxylg96seed0t4