This is the command coqwc that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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
Use coqwc online using onworks.net services