영어FrenchSpanish

서버 실행 | Ubuntu > | Fedora > |


온웍스 파비콘

Why2html - 클라우드의 온라인

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

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

프로그램:

이름


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

개요


why [ 옵션 ] 파일

기술


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

옵션


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

작가


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

onworks.net 서비스를 사용하여 온라인으로 Why2html 사용


Ad


Ad