Skip to Main content Skip to Navigation
Reports

The Coq proof assistant user's guide : version 5.8

Résumé : pas de résumé
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00070014
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:49:50 PM
Last modification on : Thursday, February 11, 2021 - 2:50:06 PM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:04:26 AM

Identifiers

  • HAL Id : inria-00070014, version 1

Collections

Citation

Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Catherine Parent, et al.. The Coq proof assistant user's guide : version 5.8. [Research Report] RT-0154, INRIA. 1993, pp.120. ⟨inria-00070014⟩

Share

Metrics

Record views

181

Files downloads

178