EngelsFransSpaans

Ad


OnWorks-favicon

coq_makefile - Online in de cloud

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

Dit is de opdracht coq_makefile 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


coq_makefile - De Coq Proof Assistant makefile-generator

KORTE INHOUD


coq_makefile [ argumenten ]

PRODUCTBESCHRIJVING


coq_makefile is een makefile-generator voor Coq-proof ontwikkelingen.

OPTIES


-h Geeft je een beschrijving van de hele lijst met opties van coq_makefile.

Gebruik coq_makefile online met behulp van onworks.net-services


Gratis servers en werkstations

Windows- en Linux-apps downloaden

Linux-commando's

Ad