The Coq Proof Assistant, A Tutorial, Version 5.10 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1995

The Coq Proof Assistant, A Tutorial, Version 5.10

Gérard Huet
  • Function : Author
Gilles Kahn
  • Function : Author
Christine Paulin-Mohring
  • Function : Author

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RT-0178.pdf (367.7 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00069993 , version 1

Cite

Gérard Huet, Gilles Kahn, Christine Paulin-Mohring. The Coq Proof Assistant, A Tutorial, Version 5.10. RT-0178, INRIA. 1995, pp.46. ⟨inria-00069993⟩
70 View
17063 Download

Share

Gmail Facebook Twitter LinkedIn More