2. Введение в Coq

Лекция №2 курса «Семантика языков программирования» (весна 2022). Преподаватель — Антон Подкопаев Страница лекции на сайте CS центра: