EnglischFranzösischSpanisch

OnWorks-Favicon

coqc – Online in der Cloud

Führen Sie coqc im kostenlosen Hosting-Anbieter OnWorks über Ubuntu Online, Fedora Online, den Windows-Online-Emulator oder den MAC OS-Online-Emulator aus

Dies ist der Befehl coqc, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann

PROGRAMM:

NAME/FUNKTION


coqc – Der Coq Proof Assistant-Compiler

ZUSAMMENFASSUNG


coqc [ General Hahn Optionen ] Datei

BESCHREIBUNG


coqc ist der Batch-Compiler für den Coq Proof Assistant. Die Optionen sind grundsätzlich die
wie coqtop(1). Datei.v ist die zu kompilierende umgangssprachliche Datei. Datei muss erst gebildet werden
mit den Zeichen `a` bis `Z`, `0`-`9` oder `_` und muss mit einem Buchstaben beginnen. Der
Der Compiler erzeugt eine Objektdatei Datei.vo.

Informationen zur interaktiven Nutzung von Coq finden Sie unter coqtop(1).

OPTIONAL


coqc ist ein Skript, das einfach ausgeführt wird coqtop mit Option -kompilieren es akzeptiert die gleichen Optionen
as coqtop.

-Bild Kasten
- Kasten als Basiswert coqtop anstelle der Standardeinstellung.

-verbose
Drucken Sie die kompilierte Datei auf der Standardausgabe.

Nutzen Sie coqc online über die Dienste von onworks.net


Kostenlose Server & Workstations

Laden Sie Windows- und Linux-Apps herunter

  • 1
    streikr
    streikr
    Strikr Free Software-Projekt. Artefakte
    veröffentlicht unter einem "intent based"
    Doppellizenz: AGPLv3 (Community) und
    CC-BY-NC-ND 4.0 international
    (Werbung)...
    Laden Sie strikr herunter
  • 3
    GIFLIB
    GIFLIB
    giflib ist eine Bibliothek zum Lesen und
    gif-bilder schreiben. Es ist API und ABI
    kompatibel mit libungif, das in war
    breite Verwendung während der LZW-Komprimierung
    Algorithmus war ...
    Laden Sie GIFLIB herunter
  • 4
    Alt-F
    Alt-F
    Alt-F bietet eine kostenlose und Open Source
    alternative Firmware für den DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F hat Samba und NFS;
    unterstützt ext2/3/4...
    Laden Sie Alt-F herunter
  • 5
    usm
    usm
    Usm ist ein einheitliches Slackware-Paket
    Manager, der automatisch behandelt
    Abhängigkeitsauflösung. Es vereint
    verschiedene Paket-Repositories einschließlich
    Slackware, locker, p...
    usm herunterladen
  • 6
    Chart.js
    Chart.js
    Chart.js ist eine Javascript-Bibliothek, die
    erlaubt Designern und Entwicklern zu zeichnen
    alle Arten von Diagrammen mit HTML5
    Canvas-Element. Chart js bietet eine großartige
    Anordnung ...
    Laden Sie Chart.js herunter
  • Mehr »

Linux-Befehle

Ad