MPRI - Cours 2-7-2 (Preuves Constructives)
Polycopié du cours
Transparents
Projet
Sujet
Tests
Parseur fourni (Ocaml)
Stages ayant un rapport avec le cours
Formalisation
des nombres algébriques
Formalisation
de la normalisation par évaluation en Coq
Examens des années précédentes
2004-2005 (corrigé)
et 2005-2006