Thèse: Vers une certification de l'extraction de Coq
Travaux réalisés pendant la thèse
Formalisation de l'extraction de Coq en Coq
Extraction interne
Manuscrit
Soutenance
La soutenance a eu lieu le vendredi 1
er
juin 2012 à 10h, en salle 1E20 à
Chevaleret
.
Dernière mise à jour: Fri, 15 Jun 2012 13:08:41 +0200