Openproof - A Flexible Framework for Heterogeneous Reasoning. In this paper we describe the Openproof heterogeneous reasoning framework. The Openproof framework provides support for the implementation of heterogeneous reasoning environments, i.e., environments for writing arguments or proofs involving a number of different kinds of representation. The resulting environments are in a similar spirit to our Hyperproof program, though the Openproof framework goes beyond Hyperproof by providing facilities for the inclusion of a variety of representation systems in the same environment. The framework serves as the core of a number of widely used educational programs including Fitch.
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Raggi, Daniel; Stockdill, Aaron; Jamnik, Mateja; Garcia Garcia, Grecia; Sutherland, Holly E. A.; Cheng, Peter C.-H.: Inspection and selection of representations (2019)
- Urbas, Matej; Jamnik, Mateja: Diabelli: a heterogeneous proof system (2012)
- Urbas, Matej; Jamnik, Mateja: Heterogeneous proofs: spider diagrams meet higher-order provers (2011)
- Barker-Plummer, Dave; Etchemendy, John; Liu, Albert; Murray, Michael; Swoboda, Nik: Openproof -- A flexible framework for heterogeneous reasoning (2008) ioport