ProofViz: an interactive visual proof explorer

DOI10.1007/978-3-030-83978-9_6zbMath1490.68292MaRDI QIDQ832103

N. E. Zubov

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-83978-9_6

zbMATH Keywords

proof assistants; GUI tools; IDEs

Mathematics Subject Classification ID

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Related Items

ProofViz

Uses Software

• PVS
• LOUI
• HACL*

Cites Work

• HACL*