Foundations of Proof Systems

MPRI - course 2-7-1


This year, the course is given by Benjamin Werner; it will be followed by the courses 2-7-2 which is more centered on the Coq proof system and 2-36-1 on formal program correctness proofs.

Schedule :

Exam : Dec 3rd, 16:15

Examination text and correction (with stupid cut-and-paste typo in answer to 3.b fixed).

Previous Examination texts are available here

Links :

Vidéos pour la culture générale :