Accéder directement au contenu

David Delahaye

1
Documents
Identifiants chercheurs

Présentation

Publications

roberto-di-cosmo

Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes

Roberto Di Cosmo , Benjamin Werner , David Delahaye
PRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques, Jan 1997, Paris, France
Communication dans un congrès hal-01124982v1