pesca

Proof Editor for Sequent Calculus http://www.cs.chalmers.se/~aarne/pesca/

Latest on Hackage:4.0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

GPL licensed by Aarne Ranta
Maintained by Aarne Ranta <http://www.cs.chalmers.se/~aarne/>
PESCA = Proof Editor for Sequent Calculus

(Companion to the book Structural Proof Theory by Sara Negri and Jan von Plato,
to appear at Cambridge University Press)

(c) Aarne Ranta 24/3/2000.

To run under Unix, type

./pesca

To the PESCA prompt |-, type

?

to see the available commands, or

m

to see the manual (the latter assumes latex and xdvi are on your path).

The pesca shell script assumes the Haskell interpreter hugs is on your path.
You can also compile the Haskell source code by hbc or ghc; the Main module is
in the file Editor.hs.

http://www.cs.chalmers.se/~aarne/pesca/
Depends on:
Used by 1 package:
comments powered byDisqus