bend.how chess · 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.
position
checker output
loading the compiler…