Proof builder

Proof Builder

About the Interactive Proof Builder

The proof builder lets 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.

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

Proof builder