Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Assistants de preuves et leur théorie
Thème :
Logique & Preuve
–
Cursus :
MPRI - M2
2006 - 2007
Projet
Jean-Christophe Filliâtre
,
Hugo Herbelin
Projet : sujet (implémenter un type checker pour mini-Coq)
Projet : fichiers tests
Projet : parseur fourni (Ocaml)