Skip to Main content Skip to Navigation
Reports

The Coq Proof Assistant, Reference Manual, Version 5.10

Résumé : Résumé disponible dans les fichiers attachés
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00069994
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:46:35 PM
Last modification on : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 8:11:13 PM

Identifiers

  • HAL Id : inria-00069994, version 1

Collections

Citation

Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Pascal Manoury, et al.. The Coq Proof Assistant, Reference Manual, Version 5.10. [Research Report] RT-0177, INRIA. 1995, pp.185. ⟨inria-00069994⟩

Share

Metrics

Record views

240

Files downloads

347