Dit is de opdracht coqtop.opt 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
coqtop.opt - De native-code Coq toplevel
KORTE INHOUD
coqopt.opt [ opties ] [ filet ]
PRODUCTBESCHRIJVING
coqopt.opt is de native-codeversie van Coq. Het moet niet rechtstreeks worden aangeroepen, maar alleen
by koktop en coqc
Gebruik coqtop.opt online met onworks.net-services