EngelsFransSpaans

OnWorks-favicon

coqide.opt - Online in de cloud

Voer coqide.opt uit in de gratis hostingprovider van OnWorks via Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

Dit is het commando coqide.opt dat kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

PROGRAMMA:

NAAM


coqide - De grafische interface van Coq Proof Assistant

KORTE INHOUD


coqide [ opties ]

PRODUCTBESCHRIJVING


coqide is een gtk grafische interface voor de Coq proof-assistent.

Voor opdrachtregelgericht gebruik van Coq, zie: koktop(1) ; voor batchgericht gebruik van Coq, zie
coqc(1).

OPTIES


-h Toon de volledige lijst met opties die zijn geaccepteerd door coqide.

-I dir, omvatten dir
Voeg directory dir toe aan het include-pad.

-R dir coqdir
Recursief fysiek in kaart brengen dir logisch coqdir.

-src Voeg bronmappen toe aan het include-pad.

-is f, -invoerstatus f
Status lezen van f.coq.

-Nee is Begin met een lege toestand.

-uitvoerstatus f
Schrijf staat in bestand f.coq.

-load-ml-object f
Laad ML-objectbestand f.

-load-ml-bron f
Laad ML-bestand f.

-l f, -laad-vernac-bron f
Laad Coq-bestand f.v (Laden f.).

-lv f, -load-vernac-source-uitgebreid f
Laad Coq-bestand f.v (Uitgebreid laden f.).

-load-vernac-object f
Laad Coq-objectbestand f.vo.

-vereisen f
Laad Coq-objectbestand f.vo en importeer het (vereist f.).

-compileren f
Coq-bestand compileren f.v (impliceert -partij).

-compileer-uitgebreid f
Coq-bestand uitgebreid compileren f.v (impliceert -partij).

-opt Voer de native-codeversie van Coq of Coq_SearchIsos uit.

-byte Voer de bytecode-versie van Coq of Coq_SearchIsos uit.

-waar Print de standaard bibliotheeklocatie van Coq en sluit af.

-v Coq-versie afdrukken en afsluiten.

-q Sla het laden van rcfile over.

-init-bestand f
Zet het rc-bestand op f.

-partij Batch-modus (wordt afgesloten net na het parseren van de argumenten).

-laars Opstartmodus (impliceert -q en -partij).

-emacs Vertelt Coq dat het wordt uitgevoerd onder Emacs.

-dump-glob f
Globaliseringen in bestand dumpen f (te gebruiken door coqdoc(1)).

-impredicatieve-set
Sorteer instellen Impredicatief instellen.

-dont-load-bewijzen
Laad geen ondoorzichtige bewijzen in het geheugen.

-xml Exporteer XML-bestanden naar de hiërarchie die in de directory is geworteld
COQ_XML_LIBRARY_ROOT (indien ingesteld) of naar stdout (indien uitgeschakeld).

Gebruik coqide.opt online met behulp van onworks.net-services


Gratis servers en werkstations

Windows- en Linux-apps downloaden

  • 1
    PostInstallerF
    PostInstallerF
    PostInstallerF zal alle
    software die Fedora Linux en anderen
    omvat niet standaard, na
    Fedora voor het eerst draaien. Zijn
    makkelijk voor...
    PostInstallerF downloaden
  • 2
    spoor
    spoor
    Het strace-project is verplaatst naar
    https://strace.io. strace is a
    diagnostisch, foutopsporing en instructie
    gebruikersruimte tracer voor Linux. Het is gebruikt
    bewaken van een...
    Strace downloaden
  • 3
    gMKV GUI uitpakken
    gMKV GUI uitpakken
    Een GUI voor het hulpprogramma mkvextract (onderdeel van
    MKVToolNix) die de meeste (if
    niet alle) functionaliteit van mkvextract en
    mkvinfo-hulpprogramma's. Geschreven in C#NET 4.0,...
    GMKVExtractGUI downloaden
  • 4
    Jasper Reports-bibliotheek
    Jasper Reports-bibliotheek
    JasperReports Library is de
    's werelds meest populaire open source
    business intelligence en rapportage
    motor. Het is volledig in Java geschreven
    en het kan...
    JasperReports-bibliotheek downloaden
  • 5
    Frappe-boeken
    Frappe-boeken
    Frappe Books is een gratis en open source
    desktop boekhoudsoftware dat is
    eenvoudig en goed ontworpen om door te worden gebruikt
    kleine bedrijven en freelancers. Het'...
    Frappe boeken downloaden
  • 6
    Numerieke Python
    Numerieke Python
    NIEUWS: NumPy 1.11.2 is de laatste release
    dat zal worden gemaakt op sourceforge. Wielen
    ook voor Windows, Mac en Linux
    gearchiveerde brondistributies kunnen worden gevonden...
    Numerieke python downloaden
  • Meer "

Linux-commando's

Ad