name: pesca
description: 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.
license_spdx: Other
version: 4.0.1
spec_version: 1.0
download_url: http://hackage.haskell.org/package/pesca-4.0.1/pesca-4.0.1.tar.gz
home_url: 
                http://www.cs.chalmers.se/~aarne/pesca/
              
news_url: https://libraries.io/hackage/pesca/versions.atom
date: 2015-01-26
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/pesca?number=4.0.1
