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

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.

---