Este é o comando coqwc que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
coqwc - imprime o número de linhas de especificação, prova e comentários em arquivos Coq
SINOPSE
coqwc [ -p ] [ -s ] [ -r ] [ -e ] arquivos ...
DESCRIÇÃO
coqwc calcula o número de linhas de especificação, linhas de prova e linhas de comentário em Coq
arquivos.
OPÇÕES
-p Imprima a porcentagem de comentários
-s Imprime apenas o número de linhas de especificação
-r Imprima apenas o número de linhas de prova
-e Não pule cabeçalhos
Use coqwc online usando serviços onworks.net
