Visualizing Proof Search for Theorem Prover Development

Citations of this article
Mendeley users who have this article in their library.


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. © 2008 Elsevier B.V.




Byrnes, J., Buchanan, M., Ernst, M., Miller, P., Roberts, C., & Keller, R. (2009). Visualizing Proof Search for Theorem Prover Development. Electronic Notes in Theoretical Computer Science, 226(C), 23–38.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free