Foundations of Proof Systems

MPRI - course 2-7-1


Last year's exam and the solutions.

This year, the course is given by Benjamin Werner

Course Notes

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


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.