Man page - coqwc(1)

Packages contains this manual

Package:  coq
apt-get install coq

Manuals in package:
• coqtop.byte(1)
• coqchk(1)
• coqchk.opt(1)
• coqnative(1)
• coqc.byte(1)
• coqtop(1)
• coqc(1)
• coqdep(1)
• coq_makefile(1)
• coq-tex(1)
• coqdoc(1)
• coqwc(1)
Documentations in package:
• coq

Manual

COQWC

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
BUGS

---

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/coq/coq/issues .

---