이는 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 coq_makefile 명령입니다.
프로그램:
이름
coq_makefile - Coq Proof Assistant 메이크파일 생성기
개요
coq_makefile [ 인수 ]
기술
coq_makefile Coq 증명 개발을 위한 makefile 생성기입니다.
옵션
-h coq_makefile의 전체 옵션 목록에 대한 설명을 제공합니다.
onworks.net 서비스를 사용하여 온라인에서 coq_makefile 사용