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 :

Previous Examination texts are available here
Exam : Dec 3rd, 16:15


Links :

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



fleurs