| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422298 | Electronic Notes in Theoretical Computer Science | 2009 | 16 Pages |
Abstract
We describe an interactive visualization tool for large natural deduction proof searches. The tool permits the display of a search as it progresses, as well as the proof tree itself. We discuss the feature set and architecture of the tool, including aspects of extensibility and the interface for interaction with other user-provided analysis and visualization code.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
