Skip to main content
Journal ArticleOPEN ACCESS

Visualizing Proof Search for Theorem Prover Development

Electronic Notes in Theoretical Computer Science (2009) 226(C) 23-38
DOI: 10.1016/j.entcs.2008.12.095
7Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

This article is free to access.

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

Author supplied keywords

Cite

CITATION STYLE

APA

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. https://doi.org/10.1016/j.entcs.2008.12.095

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