Dies ist der Befehl coqtop.byte, 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
coqtop.byte – Der Bytecode der obersten Ebene von Coq
ZUSAMMENFASSUNG
coqtop.byte [ Optionen ] [ Datei ]
BESCHREIBUNG
coqopt.byte ist die Bytecode-Version von Coq. Es sollte nicht direkt aufgerufen werden, sondern nur per
coqtop und coqc
Nutzen Sie coqtop.byte online über die Dienste von onworks.net