proof-editor

There are 2 repositories under proof-editor topic.

  • lucch/pesca

    pesca: Proof Editor for Sequent Calculus (mirror)

    Language:Haskell10001

  • joe-lynch/ODPE

    The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of proof search both with and without proof variables.

    Language:Java2100