
Carta.tech

Packages

coq

12
 coqtex.1
 Process coq phrases embedded in latex files
 coq_makefile.1
 The coq proof assistant makefile generator
 coqc.1
 The coq proof assistant compiler
 coqchk.1
 The coq proof checker compiled libraries verifier
 coqchk.opt.1
 The coq proof checker compiled libraries verifier
 coqdep.1
 Compute intermodule dependencies for coq and caml programs
 coqdoc.1
 A documentation tool for the coq proof assistant
 coqtop.1
 The coq proof assistant toplevel system
 coqtop.byte.1
 The bytecode coq toplevel
 coqtop.opt.1
 The nativecode coq toplevel
 coqwc.1
 Print the number of specification, proof and comment lines in coq files
 gallina.1
 Extracts specification from coq vernacular files