📦 rocq

12 pages

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✨