The Coq proof assistant user's guide : version 5.6
Résumé
pas de resume
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00070034
Soumis le : vendredi 19 mai 2006-18:52:26
Dernière modification le : mardi 7 février 2023-03:38:18
Archivage à long terme le : mardi 22 février 2011-11:06:57