Logical Verification
Jul. 1st, 2011 12:40 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokОчень хорошие лекционные заметки Femke van Raamsdonk'а из Vrije Universiteit Amsterdam. Курс похож на тот, что я читал в CS Club'е при ПОМИ, но с несколько большим уклоном в логику и примерами с использованием Coq.
Рекомендую своим студентам как полезное дополнительное чтение и удобное введение в Coq.
Рекомендую своим студентам как полезное дополнительное чтение и удобное введение в Coq.
