.TH COQWC 1
.
.SH "نام (NAME)"
coqwc \- چاپ تعداد خطوط مشخصات، اثبات و کامنت در فایل‌های Coq
.
.SH "خلاصه دستور (SYNOPSIS)"
.B coqwc
[
.B \-p
]
[
.B \-s
]
[
.B \-r
]
[
.B \-e
]
.I files .\|.\|.
.
.SH "توضیحات (DESCRIPTION)"
.
.B coqwc
تعداد خطوط مشخصات، خطوط اثبات و خطوط کامنت را در فایل‌های Coq محاسبه می‌کند.
.
.SH "گزینه‌ها (OPTIONS)"
.
.TP
.B \-p
چاپ درصد کامنت‌ها.
.TP
.B \-s
تنها تعداد خطوط مشخصات را چاپ می‌کند.
.TP
.B \-r
تنها تعداد خطوط اثبات را چاپ می‌کند.
.TP
.B \-e
از سرایندها (headers) صرف‌نظر نمی‌کند.
.
.SH "گزارش باگ‌ها (BUGS)"
.
لطفاً هرگونه باگ را به
.BR https://github.com/coq/coq/issues
گزارش دهید.