|
 
|
[DEL97] Search2: un outil de recherche dans une bibliothèque de preuves Coq modulo isomorphismes
Rapport Scientifique : Date de dépot: 1997/01/01, (Tech. Rep.: CEDRIC-97-730)
motcle:
Commentaires:
Rapport du DEA Sémantique, Preuves et Programmation, Université Pierre et Marie Curie (Paris 6).
BibTeX
| @techreport { | |||
| DEL97, | |||
| title | = | "{Search2: un outil de recherche dans une bibliothèque de preuves Coq modulo isomorphismes}", | |
| author | = | "D. Delahaye", | |
| number | = | "{CEDRIC-97-730}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-1997}, | |
| note | = | "{Rapport du DEA Sémantique, Preuves et Programmation, Université Pierre et Marie Curie (Paris 6).}", | |
| } | |||
