(разбирая завалы вкладок)

[thesz]

Computer Aided Formal Reasoning, курс Торстена Альтенкриха, с кодом на Агде и справочными материалами по ней.