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.
The applet is for use with the book, How to Prove It by Daniel J. Velleman
No comments:
Post a Comment