DUNE-COQ(1)

✨ NAME ✨

okay bestie, gather round, because this is dune-coq — the whole command group in dune that's all about Coq. that's it, that's the vibe 💅

---

🦋 SYNOPSIS 🦋

dune coq top FILE -- ARGS

---

🌸 COMMANDS 🌸

• top [OPTION]… COQFILE [ARGS]… — runs a Coq toplevel but with your local configuration, so it actually knows about your project and not just. nothing. iconic behavior honestly 👑

---

🎀 COMMON OPTIONS 🎀

• --help[=FMT] (default=auto) — shows you this help, but in the format FMT you picked. and FMT has to be one of auto, pager, groff or plain, no freestyling. with auto, the format becomes pager or plain whenever the TERM env var is dumb or straight up undefined. iykyk 🫶
• --version — shows version information. that's the whole thing. no notes. ✨

---

💀 EXIT STATUS 💀

dune coq dips out with:

• 0 — on success. slay 🎉
• 1 — if an error happened. it's giving tragedy 😭
• 130 — if it was interrupted by a signal. not me getting yanked mid-run 🙈

---

🔥 SEE ALSO 🔥

• dune(1)

---

real talk bestie: --help needs its FMT to be auto, pager, groff or plain — anything else and it's a no 💀

okay that's the whole page!! this is Dune version n/a, and the page itself is DUNE-COQ(1) from the Dune Manual. go run some Coq, bestie, you got this 🧚💖🌸