|COQ(1)||General Commands Manual||COQ(1)|
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.
Please report any bug to https://github.com/coq/coq/issues