Scroll to navigation

COQ(1) General Commands Manual COQ(1)

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

Print the percentage of comments
Print only the number of specification lines
Print only the number of proof lines
Do not skip headers

BUGS

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