Это команда coqwc, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
coqwc - вывести количество строк спецификации, подтверждения и комментариев в файлах Coq
СИНТАКСИС
coqwc [ -p ] [ -s ] [ -r ] [ -e ] файлов ...
ОПИСАНИЕ
coqwc вычисляет количество строк спецификации, строк проверки и строк комментариев в Coq
файлы.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
-p Вывести процент комментариев
-s Вывести только количество строк спецификации
-r Вывести только количество строк пробной печати
-e Не пропускайте заголовки
Используйте coqwc онлайн с помощью сервисов onworks.net