The Coq Proof Assistant, Reference Manual, Version 5.10 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1995

The Coq Proof Assistant, Reference Manual, Version 5.10

Judicaël Courant
  • Function : Author
Jean-Christophe Filliâtre
Gérard Huet
  • Function : Author
Pascal Manoury
  • Function : Author
César Munoz
  • Function : Author
Chetan Murthy
  • Function : Author
Catherine Parent
  • Function : Author
Christine Paulin-Mohring
  • Function : Author
Amokrane Saibi
  • Function : Author
Benjamin Werner

Abstract

Résumé disponible dans les fichiers attachés

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00069994 , version 1

Cite

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⟩
154 View
29487 Download

Share

Gmail Facebook Twitter LinkedIn More