Panoptes

DOI10.1016/j.entcs.2008.12.096zbMath1291.68339OpenAlexW1483110599MaRDI QIDQ5166496

William M. Farmer, Orlin G. Grigorov

Publication date: 27 June 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.096

zbMATH Keywords

proof treetheorem provergraph visualizationOpenGLIMPSOCamldeduction graph

Mathematics Subject Classification ID

Related Items (2)

Panoptes ⋮ Panoptes

Uses Software

• TPTP
• OCaml
• OpenGL
• IMPS
• IDV
• Caml

Cites Work

• The TPTP problem library. CNF release v1. 2. 1
• IMPS: An interactive mathematical proof system
• An Interactive Derivation Viewer
• Using the TPTP Language for Writing Derivations and Finite Interpretations
• IMPS: An updated system description
• Panoptes

This page was built for publication: Panoptes