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
โครงการ:
ชื่อ
coqwc - print the number of specification, proof and comment lines in Coq files
เรื่องย่อ
coqwc [ -p ] [ -s ] [ -r ] [ -e ] ไฟล์ ...
DESCRIPTION
coqwc computes the number of specification lines, proof lines and comment lines in Coq
ไฟล์
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
