# The Incredible Proof Machine: Visual Theorem Proving

Easily perform logic proofs visually.

- **Source:** [Hacker News: Front Page](https://brifing.si/source/b07aa772-b1a0-4a76-aa18-719c6f9e2dde)
- **Published:** 2026-07-27
- **Topic:** [Data & AI](https://brifing.si/c/data-ai)
- **Original article:** <https://incredible.pm/>
- **On Brifing:** https://brifing.si/s/56d31391-b8b1-4da0-b854-1c10ba4638a7

## Introduction

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.

## How 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.

## Error 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.

## Special Characters

Abbreviations are available for entering special characters in formulas. For example, use | for ∧, - for ∨, and ^ for →. This simplifies formula input.

## Custom Blocks

Hold Shift to select blocks and create custom blocks. This allows you to group repetitive proof steps into a single block.

## Future 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.

## Sources covering this story

- https://incredible.pm/ — 

---

_Summary written by Brifing from the original reporting. Copyright in the original article belongs to its publisher; read the full piece at the link above._