The "/spamato/spamatoxy_m..atoxy_mac-0.99.9.dmg" file could not be found or is not available. Please select another file.

spassgui

alpha
1 Recommendation
1 Download (This Week)
Download spassgui-0.5.tar.bz2
Browse All Files

Screenshots

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

Description

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 .

spassgui Web Site

User Ratings

100% recommended
 
 
1
0
Write a Review

User Reviews

Be the first to post a review of spassgui!

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.