![]() |
![]()
| ![]() |
![]()
NAMEcoq_makefile - generate makefiles for Coq proof development SYNOPSIScoq_makefile [ arguments ] DESCRIPTIONcoq_makefile is a makefile generator for Coq proof developments. OPTIONS
SEE ALSOcoqtop(1), coqtc(1), coqdep(1) The Coq Reference Manual. The Coq web site: http://coq.inria.fr
|