USER REVIEWS
Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .
WRITE USER REVIEW
Serving Software Downloads in 956 Categories, Downloaded 50.479.657 Times