The Coq proof assistant user's guide : version 5.8

Gilles Dowek; Amy Felty; Hugo Herbelin; Gérard Huet; Catherine Parent; Christine Paulin-Mohring; Benjamin Werner; Chetan Murthy

Reports (Research Report) Year : 1993

The Coq proof assistant user's guide : version 5.8

(1) , , , , , , ,

Gilles Dowek

Function : Author

INRIA Rocquencourt

Amy Felty

Function : Author

Hugo Herbelin

Function : Author
PersonId : 833422

Gérard Huet

Function : Author

Catherine Parent

Function : Author

Christine Paulin-Mohring

Function : Author

Benjamin Werner

Function : Author
PersonId : 833423
IdHAL : benjamin-werner

Chetan Murthy

Function : Author

Abstract

pas de résumé

Domains

Other [cs.OH]

Fichier principal

RT-0154.pdf (4.29 Mo)

Rapport De Recherche Inria : Connect in order to contact the contributor

https://inria.hal.science/inria-00070014

Submitted on : Friday, May 19, 2006-6:49:50 PM

Last modification on : Tuesday, February 7, 2023-3:38:18 AM

Long-term archiving on: Tuesday, February 22, 2011-11:04:26 AM

Dates and versions

inria-00070014 , version 1 (19-05-2006)

Identifiers

HAL Id : inria-00070014 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA

68 View

128 Download

The Coq proof assistant user's guide : version 5.8

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share