SYNOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...
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