2009 Joint Mathematics Meetings
This page contains materials related to the talk Toy Proofs presented by Ken Monks of the University of Scranton and Nathan Carter of Bentley University at the 2009 Joint Mathematics Meetings. If you did not attend the talk, you are still welcome to browse these materials.
 |
SlidesYou can review the slides from the talk or download the slides (.PDF) for later reference. |
 |
SoftwareThe Toy Proof software (Windows) can be downloaded here. |