Skip to Main content Skip to Navigation
Reports

User Guide to the CTCOQ Proof Environment

Janet Bertot 1 Yves Bertot 1 Yann Coscoy 1 Healfdene Goguen 2 Francis Montagnac 1
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
2 LFCS - Laboratory for the Foundations of Computer Science [Edinburgh]
Abstract : CTCOQ is a graphical environment to perform proofs in Coq.
Keywords : CTCOQ COQ INTERACTIVE PROOF SYSTEMS
Document type :
Reports
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
https://hal.inria.fr/inria-00069961
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:42:58 PM
Last modification on : Monday, September 3, 2018 - 10:56:02 AM
Long-term archiving on: : Sunday, April 4, 2010 - 7:57:20 PM

Files

Vignette du document
RT-0210.pdf

Identifiers

  • HAL Id : inria-00069961, version 1

Collections

INRIA | INRIA-RRRT | LARA

Citation

Janet Bertot, Yves Bertot, Yann Coscoy, Healfdene Goguen, Francis Montagnac. User Guide to the CTCOQ Proof Environment. [Technical Report] RT-0210, INRIA. 1997, pp.63. ⟨inria-00069961⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

119

Files downloads

401

 

Contact                    Legal Notice                    Personal Data