coqwc(1) on Linux
The text 9a73bcb58c99, as Arch Linux 2026-11-01 shipped it. The page shows this text now.
print the number of specification, proof and comment lines in Coq files
Flags it lists
-
-e -
-p -
-r -
-s