Foundations of Proof Systems

MPRI - course 2-7-1

2014


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.

Previous Examination texts are available here

Links :

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



fleurs