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