Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 coqc 명령입니다.
프로그램:
이름
coqc - Coq Proof Assistant 컴파일러
개요
coqc [ 일반 콕 옵션 ] 파일
기술
coqc Coq Proof Assistant의 배치 컴파일러입니다. 옵션은 기본적으로
동일 콕탑(1). 파일.v 컴파일할 모국어 파일입니다. 파일 만 형성되어야 한다
문자 `a`에서 `Z`, `0`-`9` 또는 `_`로 시작해야 하며 문자로 시작해야 합니다. 그만큼
컴파일러는 목적 파일을 생성합니다 file.vo.
Coq의 대화식 사용에 대해서는 다음을 참조하십시오. 콕탑(1).
옵션
coqc 단순히 실행하는 스크립트입니다. 콕탑 옵션으로 -엮다 동일한 옵션을 허용합니다.
as 콕탑.
-영상 큰 상자
사용 큰 상자 기본으로 콕탑 기본 대신.
-말 수가 많은
컴파일된 파일을 표준 출력으로 인쇄합니다.
onworks.net 서비스를 사용하여 coqc 온라인 사용