영어FrenchSpanish

서버 실행 | Ubuntu > | Fedora > |


온웍스 파비콘

gwhy-bin - 클라우드의 온라인

Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터를 통해 OnWorks 무료 호스팅 제공업체에서 gwhy-bin 실행

이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 gwhy-bin 명령입니다.

프로그램:

이름


이유 - 다국어 다중 증명자 검증 도구

개요


why [ 옵션 ] 파일

기술


why 확인 도구입니다. 주석이 달린 프로그램을 입력(ML 또는 C 구문)으로 사용하고
여러 증명 보조자(Coq, PVS, HOL Light, Mizar)에 대한 검증 조건 출력
및 결정 절차(haRVey, Simplify).

옵션


-h 돕다. 명령줄 옵션의 전체 목록을 제공합니다.

작가


장 크리스토프 필리아트르 <filliatr@lri.fr>

onworks.net 서비스를 사용하여 gwhy-bin 온라인 사용


Ad


Ad