COQWC(1)                    General Commands Manual                   COQWC(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)
       -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.

                                                                      COQWC(1)