COQCHK(1) - Linux manual page online | User commands

The Coq Proof Checker compiled libraries verifier.