-
Carta.tech
-
Packages
-
coq
-
12
- coq-tex.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 inter-module 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 native-code coq toplevel
- coqwc.1
- Print the number of specification, proof and comment lines in coq files
- gallina.1
- Extracts specification from coq vernacular files