Date: Wed, 20 Nov 1996 19:15:44 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Tue, 28 Nov 1995 19:51:46 GMT Content-length: 1057 Hyperproof 2.0

Hyperproof 2.0

Description:
This is a courseware development project aimed at creating a second generation of Hyperproof. In Hyperproof 2.0, the student would be able to reason with a variety of diagrams, including Venn Diagrams, Hasse Diagrams, and Position Diagrams, in addition to the block world diagrams of Hyperproof 1.0. (Put in some nice graphics stolen from the mockup.)

Associated Faculty: Gerry Allwein, Jon Barwise

Affiliated Projects: This project is a joint endeavor with CSLI at Stanford University. The Stanford half of the project is led by John Etchemendy.

Support: COAS, Rugs, CSLI

Return to Computer Science Research Page