Proof Designer is a Java applet that writes outlines of proofs in elementary set theory, under the guidance of the user. It is designed to help students learn to write proofs.
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.
A new, improved 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.