The pesca package

[Tags: gpl, program]

Pesca is a program that helps in the construction of proofs in sequent calculus. It works both as a proof editor and as an automatic theorem prover. Proofs constructed in Pesca can both be seen on the terminal and printed into LaTeX files.

The user of Pesca can choose among different versions of classical and intuitionistic proposition and predicate calculi, and extend them by systems of nonlogical axioms. The implementation of Pesca is written in the functional programming language Haskell.


Properties

Versions4, 4.0.1
Dependenciesbase (>3), process
LicenseGPL
AuthorAarne Ranta
MaintainerAarne Ranta <http://www.cs.chalmers.se/~aarne/>
CategoryTheorem Provers, Compilers/Interpreters
Home pagehttp://www.cs.chalmers.se/~aarne/pesca/
Executablespesca
Upload dateTue May 20 20:12:01 UTC 2008
Uploaded byGwernBranwen
Downloads222 total (17 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees