이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 coqtop.opt 명령입니다.
프로그램:
이름
coqtop.opt - 네이티브 코드 Coq 최상위 레벨
개요
coqopt.opt [ 옵션 ] [ 파일 ]
기술
coqopt.opt Coq의 네이티브 코드 버전입니다. 직접 호출해서는 안되지만
by 콕탑 과 coqc
onworks.net 서비스를 사용하여 coqtop.opt 온라인 사용
