Package coq-core

• coq-tex(1) — process Coq phrases embedded in LaTeX files
• coq_makefile(1) — generate makefiles for Coq proof development
• coqc(1) — Coq compiler
• coqchk(1) — verify compiled Coq libraries
• coqdep(1) — compute inter-module dependencies for Coq programs
• coqdoc(1) — documentation tool for the Coq proof assistant
• coqnative(1) — native Coq compiler
• coqtop(1) — toplevel Coq system
• coqtop.byte(1) — bytecode toplevel Coq system
• coqwc(1) — print the number of specification, proof and comment lines in