|
|
|
|
|
|
| Proofwish
|
|
|
Proofwish is a tool for viewing proofs made in sequent calculi. It has been developed for the Logics Workbench (LWB) but can be used independent of it as a standalone application. | ||
|
|  | ||
| Appearance: | ||
|
The main window consists of a menu bar, a panel holding the proof and an
info window, where additional information about the proof is shown. The
visibility of the info window can be toggled.
Besides the main window there is an optional window that holds the rules of the calculus the proof is made in. It contains additional information about the general usage of the rules. The rule window has an initial size that is large enough to hold the "largest" rule of the calculus. The rule the user is interested in is highlighted in red.
| |||
|
| | ||
| Further Information: | ||||
| These additional pages explain the use of the Proofwish tool in more detail: | |||||
 | Menus | A description of the available menus and what they do. | |||
| Mouse bindings | An overview of the mouse bindings of the tool. | |||
| File format | Description of the file format of the proofs used for the Proofwish tool. | |||
| Bugs | Known bugs of the Proofwish tool. | |||
|
| ||||
| 
| 
| ||
|
| lwb@iam.unibe.ch | LWB 1.1 February 22, 2002 |
