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 .
Release Date:
2004-12-07
Topic:
Operating System:
License:
Translations:
User Interface:
Programming Language:
Registered:
2004-11-11
Ratings and Reviews
- Thumbs up: 1
- Thumbs down: 0
Be the first to post a text review of spassgui. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
spassgui 0.5 file released: spassgui-0.5.tar.bz2
-
File released: /spassgui/0.5/spassgui-0.5.tar.bz2
-
spassgui 0.3 file released: spassgui-0.3.tar.bz2
-
spassgui 0.2 file released: spassgui-0.2.tar.bz2
-
spassgui 0.4 file released: spassgui-0.4.tar.bz2
-
File released: /spassgui/0.3/spassgui-0.3.tar.bz2
-
File released: /spassgui/0.2/spassgui-0.2.tar.bz2
-
File released: /spassgui/0.4/spassgui-0.4.tar.bz2
-
Code committed
-
Project Information Updated
mauromereu registered the spassgui project
Rate and Review
Related Projects
-
Dominoes on Acid
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
-
-
spassgui Actions
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
