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