## NAME

coqwc - print the number of specification, proof and comment lines in Coq files

## 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

## BUGS

Please report any bug to coq-bugs@pauillac.inria.fr