The Coq Proof Assistant, Reference Manual, Version 5.10
Abstract
Résumé disponible dans les fichiers attachés
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00069994
Submitted on : Friday, May 19, 2006-6:46:35 PM
Last modification on : Tuesday, February 7, 2023-3:38:17 AM
Long-term archiving on: Sunday, April 4, 2010-8:11:13 PM