Jest to polecenie coqc, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu Mac OS
PROGRAM:
IMIĘ
coqc - kompilator Coq Proof Assistant
STRESZCZENIE
kok [ ogólny kogut Opcje ] filet
OPIS
kok jest kompilatorem wsadowym dla Coq Proof Assistant. Opcje są w zasadzie
sama, jak koktop(1). plik.v jest lokalnym plikiem do skompilowania. filet musi być tylko uformowany
ze znakami od „a” do „Z”, „0”-„9” lub „_” i musi zaczynać się literą. ten
kompilator tworzy plik obiektowy plik.vo.
Aby zapoznać się z interaktywnym wykorzystaniem Coq, zobacz koktop(1).
OPCJE
kok to skrypt, który po prostu działa koktop z opcją -skompilować akceptuje te same opcje
as koktop.
-wizerunek kosz
posługiwać się kosz jako podstawowy koktop zamiast domyślnego.
-gadatliwy
wypisz skompilowany plik na standardowe wyjście.
Korzystaj z coqc online za pomocą usług onworks.net