Proof Designer is a Java applet that writes outlines of proofs in elementary set theory, under the guidance of the user. It is intended to help students learn to write proofs.
A version of Proof Designer as a stand-alone application (not an applet) is under development. It includes the ability to save and load proof sessions, as well as a number of other enhancements. You can find it here. The new version is being developed by Moez AbdelGawad.
If you want to try to use the old, applet version of Proof Designer, it is still available on this page. Before you can use Proof Designer, you may have to make some adjustments to the configuration of your computer or browser. The documents listed below will help you set up your computer to use Proof Designer and then learn how Proof Designer works.
It may take a minute for Java to start up, and for the Proof Designer applet to be loaded. Once the applet has been loaded, a button labeled “Write a Proof” should appear below this line. If it does not appear, refer to the instructions for setting up your computer to use Proof Designer.