Це команда 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
