Rapport
(Rapport De Recherche)
Année : 1997
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01124981
Soumis le : vendredi 6 mars 2015-10:54:27
Dernière modification le : mercredi 26 octobre 2022-08:14:41
Dates et versions
Identifiants
- HAL Id : hal-01124981 , version 1
Citer
David Delahaye. Search2: un outil de recherche dans une bibliothèque de preuves Coq modulo isomorphismes. [Research Report] CEDRIC-97-730, CEDRIC Lab/CNAM. 1997. ⟨hal-01124981⟩
41
Consultations
0
Téléchargements