Coq tools

Package “Coq tools” has 3 man pages.

coqdep compute inter-module dependencies for Coq and Caml programs, and prints the dependencies on the standard output in a format readable by make. When a...
coqwc computes the number of specification lines, proof lines and comment lines in Coq files.
gallina takes Coq files as arguments and builds the corresponding specification files. The Coq file foo.v gives bearth to the specification file foo.g. The...