Dit is de opdracht coqc die 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
coqc - De Coq Proof Assistant-compiler
KORTE INHOUD
coqc [ algemeen pik opties ] filet
PRODUCTBESCHRIJVING
coqc is de batchcompiler voor de Coq Proof Assistant. De opties zijn in principe de
gelijk koktop(1). bestand.v is het lokale bestand om te compileren. filet moet alleen gevormd worden
met de tekens `a` tot `Z`, `0`-`9` of `_` en moet beginnen met een letter. De
compiler produceert een objectbestand bestand.vo.
Voor interactief gebruik van Coq, zie koktop(1).
OPTIES
coqc is een script dat gewoon wordt uitgevoerd koktop met optie -compileren het accepteert dezelfde opties
as koktop.
-beeld bak
. bak als onderliggend koktop in plaats van de standaard.
-uitgebreid
druk het gecompileerde bestand af op de standaarduitvoer.
Gebruik coqc online met behulp van onworks.net-services
