COQWC(1) - manual page | User commands

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