GAPPA(1)

💖 GAPPA(1) — the gappa girlies' guide 💖

okay so bestie, welcome to the GAPPA manual page, straight out of User Commands 🎀 — this is the one and only manual for Gappa 1.8.2, and honestly? she's iconic. let's get into it 🦋

---

✨ NAME ✨

Gappa — manual page for Gappa 1.8.2 🌸

---

🌈 SYNOPSIS 🌈

gappa [OPTIONS] [FILE]

---

💅 DESCRIPTION 💅

okay so the vibe is: she reads a statement on standard input and shows you its proof on standard output. that's the whole main character moment, no cap ✨

• -h, --help — shows you this help and then dips 👋
• -v, --version — spills the version info and bounces out 💜
• -d, --debug — prints debug tea while gappa is running 🫖 (she's narrating her own life fr)

🔥 Engine parameters 🔥

• -Eprecision=int — internal precision (default: 60) — that's the accuracy dial bestie 🎯
• -Edichotomy=int — dichotomy depth (default: 100) 🌊
• -E[no-]reverted-fma — changes fma(a,b,c) from a*b+c to c+a*b 🔄 (flip it, she's flexible)
• -Echange-threshold=float — threshold for new results (default: 0.1) 📏
• -Eno-auto-dichotomy — do NOT choose a term for automatic splitting 🚫🌊

👑 Engine modes 👑

• -Munconstrained — do not check for theorem constraints 😌 (living free)
• -Mstatistics — displays statistics 📊 (she's showing receipts)
• -Mschemes[=FILE] — produces a dot graph (default: schemes.dot) 🌐✨

💀 Warnings: (default: all) 💀

default is all of them, because she cares about you 🫶

• -W[no-]dichotomy-failure
• -W[no-]hint-difference
• -W[no-]null-denominator
• -W[no-]unbound-variable

---

🌸 Backend 🌸

• -Bnull — do not generate a proof (default) 🙈 (she's just vibing, no output)
• -Bcoq — produces a script for Coq 🐓
• -Bcoq-lambda — produces a lambda-term for Coq 🐓 λ
• -Bcoq-unknown — produces a script for Coq, including unsupported theorems 🐓💀
• -Bd2 — produces a D2 graph script 📈
• -Bholl — produces a script for HOL Light ✨
• -Blatex — produces a LaTeX text 📜

---

aaaand that's the whole page bestie, every single flag accounted for, nothing skipped, periodt 💅

this was Gappa 1.8.2, dated July 2026 — catch you in the next manpage, mwah 🎀💖🦋