5. Coq. Разбор д-ва терминируемости алгоритма Евклида

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