coqwc • help

Note: help and version output are generated by a naïve script which tries a few variants of <command> --help, <command> -h etc. to find the command's help and version info. Sometimes it gets lucky, sometimes it doesn't; if the output below looks wrong, it probably is.

coqwc --version (return code: 0)

spec proof comments coqwc: --version: No such file or directory

coqwc --help (return code: 1)

usage: coqwc [options] [files] Options are: -p print percentage of comments -s print only the spec size -r print only the proof size -e (everything) do not skip headers

coqwc • help

coqwc • help

coqwc --version (return code: 0)

coqwc --help (return code: 1)

Installed via

Path