Ito ang command coqwc na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
coqwc - i-print ang bilang ng mga linya ng detalye, patunay at komento sa mga Coq file
SINOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] file ...
DESCRIPTION
coqwc kinukuwenta ang bilang ng mga linya ng detalye, mga linya ng patunay at mga linya ng komento sa Coq
file.
Opsyon
-p I-print ang porsyento ng mga komento
-s I-print lamang ang bilang ng mga linya ng detalye
-r I-print lamang ang bilang ng mga linya ng patunay
-e Huwag laktawan ang mga header
Gumamit ng coqwc online gamit ang mga serbisyo ng onworks.net
