spassgui 0.5

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa spassgui

Spassgui è un Gui basato su Perl/Tk per SPASS (An Automated Theorem Prover for First-Order Logic with Equality) di http://spass.mpi-sb.mpg.de .