spassgui 0.5

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

에 대해 spassgui

Spassgui는 sPASS에 대한 펄 / Tk 기반의 Gui (평등과 일차 논리에 대한 자동 정리 Prover)http://spass.mpi-sb.mpg.de .