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 komut coqc'dir.
Program:
ADI
coqc - Coq Proof Yardımcısı derleyicisi
SİNOPSİS
koklamak [ genel horoz seçenekleri ] dosya
AÇIKLAMA
koklamak Coq Proof Assistant için toplu derleyicidir. Seçenekler temel olarak
gibi aynı ocak(1). dosya.v derlenecek yerel dosyadır. dosya sadece oluşturulmalı
"a" ila "Z", "0"-"9" veya "_" karakterleriyle ve bir harfle başlamalıdır. NS
derleyici bir nesne dosyası üretir dosya.vo.
Coq'un etkileşimli kullanımı için, bkz. ocak(1).
SEÇENEKLER
koklamak basitçe çalışan bir komut dosyasıdır ocak seçeneği ile -derlemek aynı seçenekleri kabul eder
as ocak.
görüntü çöp kutusu
kullanım çöp kutusu temel olarak ocak varsayılan olanın yerine.
-ayrıntılı
derlenmiş dosyayı standart çıktıya yazdırın.
onworks.net hizmetlerini kullanarak coqc'yi çevrimiçi kullanın
