İngilizceFransızcaİspanyolca

OnWorks favicon'u

coqide.byte - Bulutta Çevrimiçi

Coqide.byte'ı OnWorks ücretsiz barındırma sağlayıcısında Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü üzerinden çalıştırın

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


Ücretsiz Sunucular ve İş İstasyonları

Windows ve Linux uygulamalarını indirin

  • 1
    grev
    grev
    Strikr Özgür Yazılım projesi. eserler
    'amaca dayalı' olarak yayınlandı
    ikili lisans: AGPLv3 (topluluk) ve
    CC-BY-NC-ND 4.0 uluslararası
    (reklam)...
    strikr'ı indir
  • 3
    GIFLIB
    GIFLIB
    giflib okumak için bir kütüphanedir ve
    gif görüntüleri yazma. API ve ABI'dır.
    olan libungif ile uyumlu
    LZW sıkıştırma sırasında geniş kullanım
    algoritma şuydu...
    GIFLIB'i indirin
  • 4
    Alt-F
    Alt-F
    Alt-F, ücretsiz ve açık bir kaynak sağlar
    DLINK için alternatif üretici yazılımı
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F, Samba ve NFS'ye sahiptir;
    ext2/3/4'ü destekler...
    Alt-F'yi indirin
  • 5
    USM
    USM
    Usm, birleşik bir slackware paketidir
    otomatik işleyen yönetici
    bağımlılık çözünürlüğü birleştirir
    dahil olmak üzere çeşitli paket depoları
    gevşek yazılım, gevşek, p...
    usm'yi indir
  • 6
    Chart.js
    Chart.js
    Chart.js, bir Javascript kitaplığıdır.
    tasarımcıların ve geliştiricilerin çizim yapmasına izin verir
    HTML5 kullanan her türlü grafik
    tuval öğesi. Chart js harika bir teklif sunuyor
    dizi ...
    Chart.js'yi indirin
  • Daha fazla »

Linux komutları

Ad