АнглийскийФранцузскийИспанский

Значок OnWorks

coqwc - Интернет в облаке

Запустите coqwc в бесплатном хостинг-провайдере OnWorks через Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS

Это команда 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


Бесплатные серверы и рабочие станции

Скачать приложения для Windows и Linux

Команды Linux

Ad