# pesca: Proof Editor for Sequent Calculus

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.

[Skip to Readme]

Versions [faq] | 4, 4.0.1 |
---|---|

Dependencies | base (>3), process [details] |

License | LicenseRef-GPL |

Author | Aarne Ranta |

Maintainer | Aarne Ranta <http://www.cs.chalmers.se/~aarne/> |

Category | Theorem Provers, Compilers/Interpreters |

Home page | http://www.cs.chalmers.se/~aarne/pesca/ |

Uploaded | by GwernBranwen at Tue May 20 20:12:01 UTC 2008 |

Distributions | NixOS:4.0.1 |

Executables | pesca |

Downloads | 1159 total (16 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2017-01-03 [all 8 reports] |

## Downloads

- pesca-4.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)