Dit is het commando coqtop.byte 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
coqtop.byte - De bytecode Coq toplevel
KORTE INHOUD
coqtop.byte [ opties ] [ filet ]
PRODUCTBESCHRIJVING
coqopt.byte is de bytecode-versie van Coq. Er mag niet direct gebeld worden, maar alleen door
koktop en coqc
Gebruik coqtop.byte online met behulp van onworks.net-services