swMATH ID: 22172
Software Authors: Jon Barwise, John Etchemendy
Description: Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs rather than the syntactic structure of sentences. It also reflects the heterogeneity of information encountered in everyday reasoning.
Homepage: http://web.stanford.edu/group/cslipublications/cslipublications/site/1881526119.shtml
Related Software: Dr.Doodle; Isabelle; Pesca; Sledgehammer; VOWL; Vivid; CafePie; GROVER; CafeOBJ; Geometry Tutor; OMDoc; ActiveMath; EPGY; XPath; ETPS; TeXmacs; Isar; Isabelle/Isar; Isabelle/HOL; Theorema
Cited in: 23 Publications

Citations by Year