Math Proof Studio

Draft proofs, keep version chains, run rule-based checks, and export Evidence Packs you curate for sharing or archiving—entirely on-device.

Math Proof Studio is a proof-writing notebook built around ownership of your reasoning record. Write in a text-first editor, preserve every revision in a linked chain, and run deterministic protocol checks (not grades). Curate selected work into exportable Evidence Packs for sharing or archival.