---
name: "coqwc"
section: "1"
platform: "linux"
package: "rocq"
version: "9.3.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/coqwc"
---

# coqwc(1)

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

## 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 **https://github.com/rocq-prover/rocq/issues**.