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 [email protected]