# 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