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 coqide.byte komutudur.
Program:
ADI
coqide - Coq Proof Assistant grafik arayüzü
SİNOPSİS
kokid [ seçenekleri ]
TANIM
kokid Coq prova asistanı için bir gtk grafik arayüzüdür.
Coq'un komut satırı odaklı kullanımı için bkz. ocak(1) ; Coq'un parti odaklı kullanımı için, bkz.
koklamak(1).
SEÇENEKLER
-h tarafından kabul edilen seçeneklerin tam listesini göster kokid.
-I dir, -Dahil etmek dir
Dahil etme yoluna dizin dizini ekleyin.
-R dir kokdir
Fiziksel haritayı yinelemeli olarak dir mantıklı kokdir.
-kaynak Dahil etme yoluna kaynak dizinleri ekleyin.
-dır-dir f, -giriş durumu f
durumu şuradan oku: f.coq.
-gürültü Boş bir durumla başlayın.
-çıktı durumu f
Dosyaya durumu yaz f.coq.
-load-ml-nesne f
ML nesne dosyasını yükle f.
-load-ml-kaynak f
ML dosyasını yükle f.
-l f, -load-vernac-kaynak f
Coq dosyasını yükle f.v (Yük f.).
-lv f, -load-vernac-kaynak-ayrıntılı f
Coq dosyasını yükle f.v (Ayrıntılı Yükle f.).
-load-vernac-nesne f
Coq nesne dosyasını yükle f.vo.
-gerekmek f
Coq nesne dosyasını yükle f.vo ve içe aktarın (Gerekli f.).
-derlemek f
Coq dosyasını derleyin f.v (yani -grup).
-derleme-ayrıntılı f
Coq dosyasını ayrıntılı olarak derleyin f.v (yani -grup).
-seçmek Coq veya Coq_SearchIsos'un yerel kod sürümünü çalıştırın.
-bayt Coq veya Coq_SearchIsos'un bayt kodu sürümünü çalıştırın.
-nerede Coq'un standart kitaplık konumunu yazdırın ve çıkın.
-v Coq sürümünü yazdırın ve çıkın.
-q rcfile yüklemesini atla.
-init-dosyası f
rcfile'ı şu şekilde ayarlayın: f.
-grup Toplu iş modu (argümanların ayrıştırılmasından hemen sonra çıkar).
-çizme Önyükleme modu (yani -q ve -grup).
-emaclar Coq'a Emacs altında yürütüldüğünü söyler.
-dump-glob f
Küreselleştirmeleri dosyaya boşaltın f (tarafından kullanılacak coqdoc(1)).
-öngörülü-küme
Sıralamayı ayarla Tahmini ayarla.
-yükleme-kanıtları
Opak provaları belleğe yüklemeyin.
-xml XML dosyalarını dizinde yerleşik hiyerarşiye dışa aktarın
COQ_XML_LIBRARY_ROOT (ayarlanmışsa) veya stdout'a (ayarlanmamışsa).
onworks.net hizmetlerini kullanarak coqide.byte'ı çevrimiçi kullanın