coqwc - Man Page
print the number of specification, proof and comment lines in Coq files
Synopsis
Description
coqwc computes the number of specification lines, proof lines and comment lines in Coq files.
Options
- -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
Bugs
Please report any bug to https://github.com/coq/coq/issues