Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen coqtop.byte komutudur.
Program:
ADI
coqtop.byte - Bayt kodu Coq üst düzeyi
SİNOPSİS
coqtop.bayt [ seçenekleri ] [ dosya ]
TANIM
coqopt.bayt Coq'un bayt kodu sürümüdür. Doğrudan çağrılmamalı, ancak yalnızca
ocak ve koklamak
onworks.net hizmetlerini kullanarak coqtop.byte'ı çevrimiçi kullanın