Jest to polecenie coq_makefile, 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Ę
coq_makefile - Generator pliku makefile Coq Proof Assistant
STRESZCZENIE
coq_makefile [ argumenty ]
OPIS
coq_makefile jest generatorem plików makefile dla rozwiązań odpornych na Coq.
OPCJE
-h Poda ci opis całej listy opcji coq_makefile.
Użyj pliku coq_makefile online, korzystając z usług onworks.net