Just mentioning my discovery today that "How to Prove It," mentioned in Proofs, Education and Open Problems, has a companion Java applet Proof Designer. It appears to be a kind of proof assistant, helping you keep track of hypotheses, the goals and progress, with documentation and access to the various proof strategies outlined in the book.
Tuesday, April 24, 2007
Subscribe to:
Post Comments (Atom)
1 comment:
I should have pointed out in this post that April 24 was the one year birthday for JFKBits.
Post a Comment