InglesPransesEspanyol

OnWorks favicon

coqide.byte - Online sa Cloud

Patakbuhin ang coqide.byte sa OnWorks na libreng hosting provider sa Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

Ito ang command na coqide.byte na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

PROGRAMA:

NAME


coqide - Ang graphical na interface ng Coq Proof Assistant

SINOPSIS


coqide [ pagpipilian ]

DESCRIPTION


coqide ay isang gtk graphical na interface para sa Coq proof assistant.

Para sa command-line-oriented na paggamit ng Coq, tingnan coqtop(1) ; para sa batch-oriented na paggamit ng Coq, tingnan
coqcNa (1).

Opsyon


-h Ipakita ang kumpletong listahan ng mga opsyon na tinanggap ni coqide.

-I dir, -isama dir
Magdagdag ng directory dir sa include path.

-R dir coqdir
Recursively mapa pisikal dir sa lohikal coqdir.

-src Magdagdag ng mga direktoryo ng pinagmulan sa isamang landas.

-ay f, -inputstate f
Basahin ang estado mula sa f.coq.

- ingay Magsimula sa isang walang laman na estado.

-outputstate f
Isulat ang estado sa file f.coq.

-load-ml-object f
I-load ang ML object file f.

-load-ml-source f
Mag-load ng ML file f.

-l f, -load-vernac-source f
I-load ang Coq file f.v (Mag-load f.).

-lv f, -load-vernac-source-verbose f
I-load ang Coq file f.v (Mag-load ng Verbose f.).

-load-vernac-object f
I-load ang Coq object file f.vo.

-kailangan f
I-load ang Coq object file f.vo at i-import ito (Kailangan f.).

-compile f
I-compile ang Coq file f.v (nagpapahiwatig -batch).

-compile-verbose f
Verbosely compile Coq file f.v (nagpapahiwatig -batch).

-optino Patakbuhin ang native-code na bersyon ng Coq o Coq_SearchIsos.

-byte Patakbuhin ang bytecode na bersyon ng Coq o Coq_SearchIsos.

-saan I-print ang karaniwang lokasyon at labasan ng library ng Coq.

-v I-print ang bersyon ng Coq at lumabas.

-q Laktawan ang paglo-load ng rcfile.

-init-file f
Itakda ang rcfile sa f.

-batch Batch mode (lumalabas pagkatapos ng pag-parse ng mga argumento).

-boot Boot mode (nagpapahiwatig -q at -batch).

-emacs Sinasabi sa Coq na ito ay isinasagawa sa ilalim ng Emacs.

-dump-glob f
Itapon ang mga globalisasyon sa file f (gamitin ng coqdoc(1)).

-impredicative-set
Itakda ang pag-uuri Itakda ang impredicative.

-dont-load-proofs
Huwag i-load ang mga opaque na patunay sa memorya.

-xml I-export ang mga XML file alinman sa hierarchy na naka-root sa direktoryo
COQ_XML_LIBRARY_ROOT (kung nakatakda) o sa stdout (kung hindi nakatakda).

Gumamit ng coqide.byte online gamit ang mga serbisyo ng onworks.net


Mga Libreng Server at Workstation

Mag-download ng Windows at Linux apps

  • 1
    striker
    striker
    Proyekto ng Strikr Free Software. Mga artifact
    inilabas sa ilalim ng 'intent based'
    dalawahang lisensya: AGPLv3 (komunidad) at
    CC-BY-NC-ND 4.0 internasyonal
    (komersyal)...
    I-download ang strikr
  • 3
    GIFLIB
    GIFLIB
    Ang giflib ay isang aklatan para sa pagbabasa at
    pagsulat ng mga larawang gif. Ito ay API at ABI
    tugma sa libungif na nasa
    malawak na paggamit habang ang LZW compression
    ang algorithm ay...
    I-download ang GIFLIB
  • 4
    Alt-F
    Alt-F
    Nagbibigay ang Alt-F ng libre at open source
    alternatibong firmware para sa DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Ang Alt-F ay may Samba at NFS;
    sumusuporta sa ext2/3/4...
    I-download ang Alt-F
  • 5
    usm
    usm
    Ang Usm ay isang pinag-isang pakete ng slackware
    manager na humahawak ng awtomatiko
    paglutas ng dependency. Ito ay nagkakaisa
    iba't ibang mga repositoryo ng pakete kasama ang
    slackware, slacky, p...
    I-download ang usm
  • 6
    Chart.js
    Chart.js
    Ang Chart.js ay isang library ng Javascript na
    nagbibigay-daan sa mga designer at developer na gumuhit
    lahat ng uri ng mga chart gamit ang HTML5
    elemento ng canvas. Nag-aalok ang Chart js ng mahusay
    array...
    I-download ang Chart.js
  • Marami pa »

Linux command

Ad