ROCQ(1)

💖 ROCQ(1) — the General Commands Manual bestie edition 💖

okay so welcome to the rocq page, which lives in the General Commands Manual section, and yes we're about to make a Unix manual actually fun. slay.

✨ NAME ✨

rocq — The Rocq Prover 👑

🌸 SYNOPSIS 🌸

rocq [ -debug-shim ] [ -v | --version ] [ subcommand ] [ subcommand options ]

💅 DESCRIPTION 💅

rocq is the Rocq prover. that's it, that's the whole vibe. main character energy fr fr 🦋

🎀 SEE ALSO 🎀

• rocq(1)
• The Rocq Reference Manual.
• The Rocq web site: http://coq.inria.fr

and that's the whole page, bestie!! you read a manpage, you understood a manpage, iconic behavior honestly 🫶

cute lil sign-off time: this one's tagged ROCQ(1) at the bottom too, matching the header up top — same title, same manual, no cap 💖