AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

     Preuves assistées par ordinateur

Thème : Logique & PreuveCursus : ENS-Lyon - M1  

     2006 - 2007

Bibliographie : Interactive Theorem Proving and Program Development (Yves Bertot et Pierre Casteran). Voir aussi http://coq.inria.fr

   2003 - 2004

   Cours  

Des documents sont disponible en accès restreint aux personnes ayant un compte à l'ENS Lyon sur la page web (suivre le lien ci dessus après le titre "cours").
Jean Duprat  
Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.