Interactive Theorem Proving and Program Development: Bertot
Interactive Theorem Proving and Program Development: Bertot,Interactive Theorem Proving and Program Development: Coq'Art,Practical Program Evaluation: Theory-Driven Evaluation and,Interactive Theorem Proving, Lecture 1 - Part I - Course