This is the command coq_makefile that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
coq_makefile - The Coq Proof Assistant makefile generator
coq_makefile [ arguments ]
coq_makefile is a makefile generator for Coq proof developments.
-h Will give you a description of the whole list of options of coq_makefile.
Use coq_makefile online using onworks.net services