The Incredible Proof Machine: Visual Theorem Proving
Easily perform logic proofs visually.
1Introduction
The Incredible Proof Machine is a tool that allows you to perform logic proofs visually. By dragging and connecting blocks, you create a complete proof when the conclusion turns green. It’s designed to make computer-aided proofs fun and accessible.
2How It Works
Blocks represent proof steps, and when connected correctly, the conclusion turns green. Shortcut keys help you perform actions quickly. For example, CTRL+Z undoes the last change, and SHIFT+MOUSE1 selects blocks.
3Error Cases
If the conclusion isn’t green, your proof isn’t complete yet. This could be due to missing or incorrect connections. Red-marked blocks indicate errors that need to be fixed.
4Special Characters
Abbreviations are available for entering special characters in formulas. For example, use | for ∧, - for ∨, and ^ for →. This simplifies formula input.
5Custom Blocks
Hold Shift to select blocks and create custom blocks. This allows you to group repetitive proof steps into a single block.
6Future and Contribution
The Incredible Proof Machine plans to add server-side saving in the future. As an open-source project, anyone can contribute and help improve it further.
Original article: Hacker News: Front Page — The Incredible Proof Machine: Görsel Teorem İspatı