Dit is de opdracht coqwc die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
coqwc - print het aantal specificatie-, bewijs- en commentaarregels in Coq-bestanden
KORTE INHOUD
coqwc [ -p ] [ -s ] [ -r ] [ -e ] bestanden ...
PRODUCTBESCHRIJVING
coqwc berekent het aantal specificatieregels, bewijsregels en commentaarregels in Coq
bestanden.
OPTIES
-p Druk het percentage opmerkingen af
-s Alleen het aantal specificatieregels afdrukken
-r Alleen het aantal proefregels afdrukken
-e Kopteksten niet overslaan
Gebruik coqwc online met onworks.net-services
