7. Coq. Семантика малого шага, логика Хоара

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