COQ

coqwc − print the number of specification, proof and comment lines in Coq files

coqwc [ −p ] [ −s ] [ −r ] [ −e ] files ...

coqwc computes the number of specification lines, proof lines and comment lines in Coq files.

−p

Print the percentage of comments

−s

Print only the number of specification lines

−r

Print only the number of proof lines

−e

Do not skip headers

Please report any bug to coq-bugs@pauillac.inria.fr