Proof Designer writes outlines of proofs in elementary set theory, under the guidance of the user. It is intended to help students learn to write proofs.
The words File, Edit, Strategy, Infer, and Goal appearing above are menu titles. Click on any of these words to show the menu, and then click on a command in the menu to give the command. You can use the + and − buttons to the right of the menus to change the font size.
To start a proof, select "New Theorem…" from the File menu.
For instructions, select "Help" from the File menu, or click here.
Please report bugs to: Daniel J. Velleman