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
PROGRAM:
NAME
coq_makefile - The Coq Proof Assistant makefile generator
SYNOPSIS
coq_makefile [ arguments ]
DESCRIPTION
coq_makefile is a makefile generator for Coq proof developments.
OPTIONS
-h Will give you a description of the whole list of options of coq_makefile.
Use coq_makefile online using onworks.net services