coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...
coqwc computes the number of specification lines, proof lines and comment lines in Coq files.
Print the percentage of comments
Print only the number of specification lines
Print only the number of proof lines
Do not skip headers
Please report any bug to https://github.com/coq/coq/issues