Jest to polecenie coqwc, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
coqwc - drukuje liczbę linii specyfikacji, dowodu i komentarza w plikach Coq
STRESZCZENIE
coqwc [ -p ] [ -s ] [ -r ] [ -e ] pliki ...
OPIS
coqwc oblicza liczbę linii specyfikacji, linii dowodu i linii komentarza w Coq
akta.
OPCJE
-p Wydrukuj procent komentarzy
-s Wydrukuj tylko liczbę wierszy specyfikacji
-r Drukuj tylko liczbę linii próbnych
-e Nie pomijaj nagłówków
Korzystaj z coqwc online, korzystając z usług onworks.net
