Il s'agit de la commande coqwc qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
coqwc - imprime le nombre de lignes de spécification, de preuve et de commentaire dans les fichiers Coq
SYNOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] fichiers
DESCRIPTION
coqwc calcule le nombre de lignes de spécification, de lignes d'épreuve et de lignes de commentaires dans Coq
fichiers.
OPTIONS
-p Imprimer le pourcentage de commentaires
-s Imprimer uniquement le nombre de lignes de spécification
-r Imprimer uniquement le nombre de lignes d'épreuve
-e Ne sautez pas les en-têtes
Utiliser coqwc en ligne en utilisant les services onworks.net
