Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Announce: cyp tool

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Announce: cyp tool


chronological Thread 
  • From: Laurent Thery <Laurent.Thery AT sophia.inria.fr>
  • To: coq-club AT pauillac.inria.fr
  • Subject: [Coq-Club] Announce: cyp tool
  • Date: Wed, 4 Feb 2004 09:46:58 +0100 (MET)
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

We are happy to announce the first official release of Cyp.

Cyp is a tool that proposes a generic solution to bridge the gap between 
the usual paper and pencil proof and its corresponding tactic-based formal
script.


Information on Cyp are available at:

ftp://ftp-sop.inria.fr/lemme/cyp/index.html

To run cyp, for coq 8.0 do

java -jar cyp.jar -p coq


for coq 7.4, do

java -jar cyp.jar -p coq7


--
Laurent Théry





Archive powered by MhonArc 2.6.16.

Top of Page