Proof Tool Homepage
Proof Tool is a program to review sequent calculi proofs. It supports zooming and scrolling and some basic proof modification functions to make a proof better readable. Output and input format is XML to provide an easy interface to other applications.
2011/08/30: Prooftool beta 10 has been released, fixing bugs regarding compilation and relaxing rules for the xml parser.
Download beta 10 of Proof Tool here. In order to install Proof Tool correctly, follow the instructions in the INSTALL file which is contained in the src directory.
Proof Tool is still under development, so documentation is very poor at this point.
If you have any questions or encountered problems with Proof Tool, feel free to contact us: prooftool |@| logic |.| at