Foundations of Proof Systems

MPRI - course 2-7-1


This year's exam and the solution.

This year, the course is given by Benjamin Werner

Course Notes

Here (updated).
The notes for Samuel Mimram's course go much further than a M1 course and are of interest: here.
The course notes of Gilles Dowek.

Exam 2023

Monday, November 27th, 16:30-18:30, room 1004. Course notes, slide print-outs and personal notes allowed.
Please bring your paper!



first and second intership topics about Actema.

On the Side

Feel free to try this little prototype of a gestural user interface for a prover (we are happy about feedback). Here is a fun riddle.

Past Exams

Note that the content of the course fluctuates with time. Also the amount of Coq changes depending of the years.