TU Logo

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.

screen shot of Proof Tool


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

Valid CSS! Valid XHTML 1.1 Viewable With Any Browser