spassgui 0.5

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

О spassgui

Spassgui является Perl / Tk основе Gui для SPASS (Автоматизированная теорема Prover для первого порядка логики с равенством) http://spass.mpi-sb.mpg.de .