EnglishFrenchSpanish

Ad


OnWorks favicon

coqwc - Online in the Cloud

Run coqwc in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

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


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

Ad