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.opt komutudur.
Program:
ADI
coqtop.opt - Yerel kod Coq üst düzeyi
SİNOPSİS
coqopt.opt [ seçenekleri ] [ dosya ]
TANIM
coqopt.opt Coq'un yerel kod sürümüdür. Doğrudan çağrılmamalı, yalnızca
by ocak ve koklamak
onworks.net hizmetlerini kullanarak coqtop.opt'u çevrimiçi kullanın