COQ(1) | General Commands Manual | COQ(1) |
coqchk - The Coq Proof Checker compiled libraries verifier
coqchk [ options ] modules
coqchk is the standalone checker of compiled libraries (.vo files produced by coqc) for the Coq Proof Assistant. See the Reference Manual for more information. It returns with exit code 0 if all the requested tasks succeeded. A non-zero return code means that something went wrong: some library was not found, corrupted content, type-checking failure, etc.
modules is a list of modules to be checked. Modules can be referred to by a short or qualified logical name, or by their filename.
coqtop(1), coqc(1), coq_makefile(1),
coqdep(1).
The Coq Reference Manual. The Coq web site:
http://coq.inria.fr
July 7, 201 |