SpassGui a Gui for SPASS

SPASS is An Automated Theorem Prover for First-Order Logic with Equality available at http://spass.mpi-sb.mpg.de .
SpassGui is a Perl/Tk graphic user interface for SPASS running on Linux.
Packages are available at http://sourceforge.net/projects/spassgui/

Screenshots

For any suggestion write to me