These are the source files for Proof Designer, which is software 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. To run Proof Designer, click here.
If you like Proof Designer, you might also be interested in How To Prove It with Lean.