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

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

Пікірлер