VizAR: visualization of automated reasoning proofs (system description)

DOI10.1007/978-3-031-42753-4_22OpenAlexW4386298151MaRDI QIDQ6118847

Cezary Kaliszyk, Jan Jakubův

Publication date: 28 February 2024

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

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_22

zbMATH Keywords

first-order logicautomated theorem proversproof visualization

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Semi-intelligible Isar proofs from machine-generated proofs
• MPTP 0.2: Design, implementation, and initial experiments
• System description: XSL-based translator of Mizar to {\LaTeX}
• ATP and presentation service for Mizar formalizations
• An Interactive Derivation Viewer
• ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)

This page was built for publication: VizAR: visualization of automated reasoning proofs (system description)