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

Links :

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