Home

Mauro

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 .

Screenshot thumbnail
Version 0.2 with Help widget opened
Screenshot thumbnail
Version 0.5
Screenshot thumbnail
Version 0.4 with "Save as..." pop-up opened


Project Admins:


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks