Coq
- coq_makefile(1) The Coq Proof Assistant makefile generator
- coq-tex(1) Process Coq phrases embedded in LaTeX files
- coqc.byte(1) The Coq Proof Assistant compiler
- coqc(1) The Coq Proof Assistant compiler
- coqchk.opt(1) The Coq Proof Checker compiled libraries verifier
- coqchk(1) The Coq Proof Checker compiled libraries verifier
- coqdep(1) Compute inter-module dependencies for Coq programs
- coqdoc(1) A documentation tool for the Coq proof assistant
- coqnative(1) The Coq native compiler
- coqtop.byte(1) The bytecode Coq toplevel
- coqtop.opt(1) The native-code Coq toplevel
- coqtop(1) The Coq Proof Assistant toplevel system
- coqwc(1) print the number of specification, proof and comment lines in