The Coq proof assistant user's guide : version 5.6 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1991

The Coq proof assistant user's guide : version 5.6

Gilles Dowek
  • Function : Author
Amy Felty
  • Function : Author
Hugo Herbelin
  • Function : Author
  • PersonId : 833422
Gérard Huet
  • Function : Author
Benjamin Werner
Christine Paulin-Mohring
  • Function : Author

Abstract

pas de resume

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RT-0134.pdf (5.07 Mo) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00070034 , version 1

Cite

Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Benjamin Werner, et al.. The Coq proof assistant user's guide : version 5.6. [Research Report] RT-0134, INRIA. 1991, pp.155. ⟨inria-00070034⟩
74 View
93 Download

Share

Gmail Facebook X LinkedIn More