Automatic Proof Checking and Algorithm Verification

(NRU Higher School of Economics, CS Faculty, Autumn 2018)

Lectures: Stepan Kuznetsov.
Practical classes: Evgeny Kolmakov.

Course Materials