Dies ist der Befehl coqtop.opt, der im kostenlosen OnWorks-Hosting-Provider über eine unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
coqtop.opt - Die Coq-Topebene mit nativem Code
ZUSAMMENFASSUNG
coqopt.opt [ Optionen ] [ Datei ]
BESCHREIBUNG
coqopt.opt ist die native Code-Version von Coq. Es sollte nicht direkt aufgerufen werden, sondern nur
by coqtop und coqc
Verwenden Sie coqtop.opt online mit den onworks.net-Diensten
