This page contains information about the “Proof assistants” (PRFA) course in the second year (M2) of the Parisian Master in Research in Computer Science (MPRI) taught by Yannick Forster and Théo Winterhalter.

Feel free to contact us if needed.

The page for 2025 is under construction. In the meantime please have a look at the page for 2024.