COQWC(1) General Commands Manual COQWC(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.

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.

QR Code