Dies ist der Befehl coq_makefile, 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
coq_makefile - Der Makefile-Generator des Coq-Proof-Assistenten
ZUSAMMENFASSUNG
coq_makefile [ Argumente ]
BESCHREIBUNG
coq_makefile ist ein Makefile-Generator für Coq-Proof-Entwicklungen.
OPTIONAL
-h Gibt Ihnen eine Beschreibung der gesamten Liste der Optionen von coq_makefile.
Verwenden Sie coq_makefile online mit den onworks.net-Diensten