spassgui 0.5

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

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 .

VERSION HISTORY

  • Version 0.5 posted on 2004-12-07
    Several fixes and updates
  • Version 0.5 posted on 2004-12-07

Program Details