ProofViz: an interactive visual proof explorer
From MaRDI portal
Publication:832103
DOI10.1007/978-3-030-83978-9_6zbMATH Open1490.68292OpenAlexW3195045086MaRDI QIDQ832103FDOQ832103
Authors: N. E. Zubov 
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-83978-9_6
Recommendations
Cites Work
Cited In (18)
- ProofViz
- An interactive derivation viewer
- Traf: a graphical proof tree viewer cooperating with Coq through Proof General
- A graphical language for proof strategies
- \textsf{Globular}: an online proof assistant for higher-dimensional rewriting
- Title not available (Why is that?)
- Click'n prove: interactive proofs within set theory
- The RISC ProofNavigator: a proving assistant for program verification in the classroom
- Visual theorem proving with the Incredible Proof Machine
- Title not available (Why is that?)
- A Framework for Interactive Proof
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
- MikiBeta : A General GUI Library for Visualizing Proof Trees
- Proviola: a tool for proof re-animation
- Tool support for proof engineering
- Panoptes: an exploration tool for formal proofs
- VizAR: visualization of automated reasoning proofs (system description)
- Towards the animation of proofs -- testing proofs by examples
Uses Software
This page was built for publication: ProofViz: an interactive visual proof explorer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832103)
