Tuesday, April 24, 2007

Speedlink: Proof Designer

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.

1 comment:

jfklein said...

I should have pointed out in this post that April 24 was the one year birthday for JFKBits.