coqwc(1)

print the number of specification, proof and comment lines in

Section 1 coq bookworm source

Description

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

coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...

coqwc computes the number of specification lines, proof lines and comment lines in Coq files.

	-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

Please report any bug to https://github.com/coq/coq/issues