📦 coq-core-compat

C

• 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 Coq files✨