Proof Designer is a website 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. Proof Designer uses JavaScript; if you have trouble getting it to work, make sure that JavaScript is enabled in your browser.
The documents listed below will help you learn how Proof Designer works.
A version of Proof Designer as a stand-alone application is under development. You can find it here. The new version is being developed by Moez AbdelGawad.