spassgui 0.5

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

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

버전 기록

  • 버전 0.5 에 게시 2004-12-07
    몇 가지 수정 및 업데이트
  • 버전 0.5 에 게시 2004-12-07

프로그램 세부 정보