bend
.how
math · PROOF.bend
Select a code block, press ⌘/ (Ctrl+/) to uncomment it and then ⌘⏎ (Ctrl+Enter) to run it.
Built for a keyboard and a wider screen. On a phone you can read the files and press Run; open it on a laptop to edit the proofs.
search counterexamples
Run the checker
(⌘⏎ / Ctrl+Enter)
checker output
loading the compiler…