نام (NAME)

coqwc - چاپ تعداد خطوط مشخصات، اثبات و کامنت در فایل‌های Coq

خلاصه دستور (SYNOPSIS)

coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...

توضیحات (DESCRIPTION)

coqwc تعداد خطوط مشخصات، خطوط اثبات و خطوط کامنت را در فایل‌های Coq محاسبه می‌کند.

گزینه‌ها (OPTIONS)

-p

چاپ درصد کامنت‌ها.

-s

تنها تعداد خطوط مشخصات را چاپ می‌کند.

-r

تنها تعداد خطوط اثبات را چاپ می‌کند.

-e

از سرایندها (headers) صرف‌نظر نمی‌کند.

گزارش باگ‌ها (BUGS)

لطفاً هرگونه باگ را به https://github.com/coq/coq/issues گزارش دهید.