Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 gwhy 명령입니다.
프로그램:
이름
이유 - 다국어 다중 증명자 검증 도구
개요
why [ 옵션 ] 파일
기술
why 확인 도구입니다. 주석이 달린 프로그램을 입력(ML 또는 C 구문)으로 사용하고
여러 증명 보조자(Coq, PVS, HOL Light, Mizar)에 대한 검증 조건 출력
및 결정 절차(haRVey, Simplify).
옵션
-h 돕다. 명령줄 옵션의 전체 목록을 제공합니다.
작가
장 크리스토프 필리아트르 <filliatr@lri.fr>
onworks.net 서비스를 사용하여 gwhy 온라인 사용