Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
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)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=coqwc&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>

home | help