Decomp – Proof Runner
Paste a LaTeX/text description. Click run — we auto-detect series vs. inequality.
Series
Inequality
Run decomp
Parsed object
(none)
Run output
(none)