Aceasta este comanda coq_makefile care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
coq_makefile - Generatorul de makefile Coq Proof Assistant
REZUMAT
coq_makefile [ argumente ]
DESCRIERE
coq_makefile este un generator de fișiere de tip makefile pentru dezvoltarea Coq proof.
OPŢIUNI
-h Vă va oferi o descriere a întregii liste de opțiuni pentru coq_makefile.
Utilizați coq_makefile online folosind serviciile onworks.net