Visualizing Proof Search for Theorem Prover Development | Zendy

John Byrnes | Zendy; Michael R. Buchanan | Zendy; Michael D. Ernst | Zendy; Phil Miller | Zendy; Chris Roberts | Zendy; Robert Keller | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Visualizing Proof Search for Theorem Prover Development

Author(s) -

John Byrnes,

Michael R. Buchanan,

Michael D. Ernst,

Phil Miller,

Chris Roberts,

Robert Keller

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.12.095

Subject(s) - computer science , automated theorem proving , visualization , gas meter prover , programming language , proof assistant , set (abstract data type) , theoretical computer science , computer assisted proof , mathematical proof , data mining , mathematics , geometry

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research