Proof Builder

Note: Proof displays and the Proof Builder are supported in recent versions of Firefox, Chrome, and Microsoft Edge.

The proof builder helps you interactively build proofs using all of the publicly-available theorems and rules of inference. It can make working with proofs easier, apply rules of inference correctly, show what inference rules do and how they work.

Quickstart video

➪ Or read about it