coqtop.opt - Online in der Cloud

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



Neueste Linux- und Windows-Online-Programme