ENSTA 09 : INE 22
Dans le cadre du module électif "Preuves formelles", j'ai proposé une initiation au système Coq.
Les transparents des cours sont ici :
Les sujets de travaux pratiques sont ici :
- TP 1 : .pdf
- TP 2 : .pdf, .v à trous, .v corrigé
- TP 3 : .pdf, .v à trous ,
MPRI 09
J'assure avec Benjamin Werner les travaux pratiques en Coq du cours "Fondements des systèmes de preuve" que ce dernier donne dans le cadre du Master Parisien de Recherche en Informatique (MPRI).
Voici les sujets des TPs, très largement inspirés par ceux d'Alexandre Miquel:
- Feuille 1 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 2 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 3 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 4 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 5 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 6 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 7 : .dvi,.pdf, .ps.gz, .v(correction)
- Feuille 8 : .dvi,.pdf, .ps.gz,