COQWC(1)

🌸 NAME 🌸

okay so bestie, this is COQWC(1) from the General Commands Manual, and the star of the show is coqwc. It prints the number of specification, proof and comment lines in Coq files. fr fr, that's the whole mission. 💅

✨ SYNOPSIS ✨

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

🦋 DESCRIPTION 🦋

coqwc computes the number of specification lines, proof lines and comment lines in Coq files. That's it — it's giving line-counting main character energy, and honestly? iconic. 💖

💖 OPTIONS 💖

• -p — Print the percentage of comments. comment stats moment.
• -s — Print only the number of specification lines. Just specs, no extras, periodt.
• -r — Print only the number of proof lines. Proof lines only, bestie.
• -e — Do not skip headers. headers stay in the chat.

💀 BUGS 💀

Please report any bug to https://github.com/rocq-prover/rocq/issues. do not suffer in silence, bestie 😭

---

and that's the whole COQWC(1) vibe — footer says COQWC(1), no source/version/date tea, just the manual page name. byeee 🫶✨