www.gryphel.com/c/sw/math/pd - feedback

ProofDesigner

hosted by the Gryphel Project


Download

PD.zip (98K) ProofDesigner 1.0c repackaged into a zipped hfs disk image and checksum file. The disk image can be mounted with Mini vMac.
PD.sea.hqx (152K) ProofDesigner 1.0c in the original format.

copyright: Dan Velleman
mod date: Mar 16, 1995
license: free for non-commercial use
from url : Daniel J. Velleman

"Writes outlines of proofs in elementary set theory, under the guidance of the user. It is designed to help students learn to write proofs". Dan Velleman requested (9/20/2004) mention that an applet version (Java) is also available.

Screenshot

If you find these downloads useful, please consider helping the Gryphel Project, which hosts them.

gryphel logo, 1K

Here are the md5 checksums for the downloads, signed with Gryphel Key 5:

--------- GRY SIGNED TEXT ---------

eba5b5fbe31da3f0e5d7ec11a4caa427 PD.zip
c0da5bdc3aa846b72d41f6901077ecff PD.sea.hqx

------- BEGIN GRY SIGNATURE -------
Gry/4Xa8CFcUzxdN/NUbh7EolE+mp9kj9vArD3ShGAB2MhWXpqTChqh+vIKUBH02
r9cdGVOVtS39GQuILhT7HWHUwPtmhjruiqhOc5HKOW35vSVzI0HBzedHESvdi3Ax
gEAHlMlUdGMlHams1Jjs1ZYxAuqJPQIk+/XOWzHljRtilaFpfbuOkx3eu4sh7cNH
-------- END GRY SIGNATURE --------

www.gryphel.com/c/sw/math/pd - feedback
copyright (c) 2015 Paul C. Pratt - last update 11/1/2015