User Guide to the CTCOQ Proof Environment - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Technique) Année : 1997

User Guide to the CTCOQ Proof Environment

Résumé

CTCOQ is a graphical environment to perform proofs in Coq.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RT-0210.pdf (515.36 Ko) Télécharger le fichier

Rapport De Recherche Inria  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 19 mai 2006-18:42:58

Dernière modification le : jeudi 7 mars 2024-12:32:05

Archivage à long terme le : dimanche 4 avril 2010-19:57:20

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : inria-00069961 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
70 Consultations
417 Téléchargements

Partager

More