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 coqmktop komutudur.
Program:
ADI
coqmktop - Coq Proof Assistant kullanıcı taktikleri bağlayıcısı
SİNOPSİS
coqmktop [ seçenekleri ] Dosyaları
TANIM
coqmktop kullanıcı taktikleriyle genişletilmiş yeni bir Coq üst seviyesi oluşturur. Dosyaları Amaç
ile bağlantı kurmak için Caml nesnesi veya kitaplık dosyaları (yani .cmo, .cmx, .cma veya .cmxa sonekli)
Coq sistemi. Bağlayıcı, doğrudan çağrılabilen yürütülebilir bir Coq üst düzeyi üretir.
Veya aracılığıyla koklamak(1), -image seçeneğini kullanarak.
SEÇENEKLER
-h Yardım. Kullanılabilir seçenekleri listeleyin.
-kaynakdizini dir
Coq kaynak dosyalarının nerede olduğunu belirtin
-o exec dosyası
Ortaya çıkan üst seviyenin adını belirtin
-seçmek Yerel kodda derleme
-tam Üst düzey taktikleri bağlayın
-üst Coq'u bir ocaml üst düzeyinde oluşturun (uyumsuz -seçmek)
-R dir Ocaml için özyinelemeli dizinleri belirtin
-v8 V8 dilbilgisi ile bağlantı
onworks.net hizmetlerini kullanarak coqmktop'u çevrimiçi kullanın
