# coqwc man page

coqwc — 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 **coq-bugs@pauillac.inria.fr**

## Info

16 March 2004 Coq tools