Logical Verification
Jul. 1st, 2011 12:40 amОчень хорошие лекционные заметки Femke van Raamsdonk'а из Vrije Universiteit Amsterdam. Курс похож на тот, что я читал в CS Club'е при ПОМИ, но с несколько большим уклоном в логику и примерами с использованием Coq.
Рекомендую своим студентам как полезное дополнительное чтение и удобное введение в Coq.
Рекомендую своим студентам как полезное дополнительное чтение и удобное введение в Coq.