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.

Overview and demos

See the preview page for introductory information.

Proofbuilder usage

See the proof builder guide.

Proof Builder Tool