Proof Viewer Java Applet
Here is the applet control panel:
When you click on "show", a new window should appear.
Notes
- This is very alpha program.
- For now, there are only a few built-in proofs (see "File" menu).
I hope soon to connect this proof viewer to
Son of BirdBrain.
- Select subproofs with the mouse and try things in the "Selection" menu.
- A clause in a rectangle means that the subproof is abbreviated.
- An Otter "proof object" is a very detailed proof
designed to be checked by a simple independent program.
It usually has many more steps than a person wishes to see.
- Send comments to mccune@mcs.anl.gov .