نام (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.