User Guide to the CTCOQ Proof Environment
Abstract
CTCOQ is a graphical environment to perform proofs in Coq.
Domains
Other [cs.OH]
Loading...
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00069961
Submitted on : Friday, May 19, 2006-6:42:58 PM
Last modification on : Wednesday, March 15, 2023-8:58:08 AM
Long-term archiving on: Sunday, April 4, 2010-7:57:20 PM