03/01/2010
Preuves formelles en Coq
Preuves formelles en Coq
par Loïc PottierDescription :
Cours d'option en DEA de mathématiques, université de Nice-Sophia Antipolis, janvier 2003. Ce cours est inspiré du cours de DEA de Gilles Dowek, et du cours de DEA de Christine Paulin-Mohring et Benjamin Werner (DEA de programmation SPL, Paris).Télécharger :
PDF (690.34ko)PS (158.35ko)
Tables des matières
Le langage de Coq Source : http://www.librecours.org/cgi-bin/course?callback=info&am... |
Modérateurs
Dimitri Ara, Romain Théret
Contact : logique AT librecours.org
Source : http://www.librecours.org/cgi-bin/domain?callback=info&am...
10:51 Publié dans Preuves formelles en Coq | Lien permanent | Commentaires (0) | Tags : preuves formelles en coq | | del.icio.us | | Digg | Facebook
Les commentaires sont fermés.