## 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**