Your proofs
Panel arrangement
Drag a panel's grip to swap two panels, or focus a grip and press an arrow key.
Proof
Auditor
Click a step, or use ↑↓ to inspect it
Context & state
What the intern knows
Drag a panel's grip to swap two panels, or focus a grip and press an arrow key.
Click a step, or use ↑↓ to inspect it
What the intern knows
Your installed packs: proofs keyed to a module's own numbering, worked examples of the language, and traps to find. Open an entry beside a copy of its proof, or import a proved theorem into your own. Packs install, update and export like packages, and a folder in your workspace can become one.
Kept in this browser. Nothing here is sent anywhere.
PDF export needs a TeX installation, which this web version does not have. Download the .tex and compile it in Overleaf or any TeX editor.