Panoptes: an exploration tool for formal proofs

DOI10.1016/J.ENTCS.2008.12.096MaRDI QIDQ5166496zbMATH OpenOpenAlexFDO

Authors William M. Farmer, Orlin G. Grigorov

Publication date 27 June 2014

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

deduction graphgraph visualizationIMPSOCamlOpenGLproof treetheorem prover

Mathematics Subject Classification ID

Recommendations

• ProofViz: an interactive visual proof explorer
• scientific article; zbMATH DE number 1629953
• User interaction with the Matita proof assistant
• A graphical user interface for formal proofs in geometry
• Visual theorem proving with the Incredible Proof Machine

Cites work

• An interactive derivation viewer
• IMPS: An interactive mathematical proof system
• IMPS: An updated system description
• Panoptes: an exploration tool for formal proofs
• The TPTP problem library. CNF release v1. 2. 1
• Using the TPTP Language for Writing Derivations and Finite Interpretations

Cited in

(10)

• ProofWatch: watchlist guidance for large theories in E
• Panoptes
• Visual theorem proving with the Incredible Proof Machine
• Tool support for proof engineering
• An interactive derivation viewer
• MikiBeta : A General GUI Library for Visualizing Proof Trees
• scientific article; zbMATH DE number 2090059 (Why is no real title available?)
• Panoptes: an exploration tool for formal proofs
• Globular: an online proof assistant for higher-dimensional rewriting
• ProofViz: an interactive visual proof explorer

Describes a project that uses

Uses Software

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

This page was built for publication: Panoptes: an exploration tool for formal proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166496)