Ito ang command na coq_makefile na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
coq_makefile - Ang Coq Proof Assistant makefile generator
SINOPSIS
coq_makefile [ argumento ]
DESCRIPTION
coq_makefile ay isang makefile generator para sa mga pagpapaunlad ng Coq proof.
Opsyon
-h Bibigyan ka ng paglalarawan ng buong listahan ng mga opsyon ng coq_makefile.
Gumamit ng coq_makefile online gamit ang mga serbisyo ng onworks.net