# 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