Spassgui jest Perl / Tk oparte Gui dla SPASS (Automated Theorem Prover for First-Order Logic with Equality) przez http://spass.mpi-sb.mpg.de .
historia wersji
- Wersja 0.5 opublikowany na 2004-12-07
Kilka poprawek i aktualizacji - Wersja 0.5 opublikowany na 2004-12-07
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: spassgui.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 0.5
- Platformy: linux