28549 articles – 22058 references  [version française]

inria-00069961, version 1

User Guide to the CTCOQ Proof Environment

Janet Bertot () 1, Yves Bertot () 1, Yann Coscoy 1, Healfdene Goguen 2, Francis Montagnac 1

N° RT-0210 (1997)

Abstract: CTCOQ is a graphical environment to perform proofs in Coq.

  • 1:  CROAP (INRIA Sophia Antipolis)
  • INRIA
  • 2:  Laboratory for the Foundations of Computer Science [Edinburgh] (LFCS)
  • University of Edinburgh
  • Domain : Computer Science/Other
  • Keywords : CTCOQ – COQ – INTERACTIVE PROOF SYSTEMS
  • Internal note : RT-0210
 
  • inria-00069961, version 1
  • http://hal.inria.fr/inria-00069961
  • oai:hal.inria.fr:inria-00069961
  • From: Rapport De Recherche Inria <>
  • Submitted on: Friday, 19 May 2006 18:42:58
  • Updated on: Wednesday, 5 September 2012 14:15:10