ProofViz: an interactive visual proof explorer

DOI10.1007/978-3-030-83978-9_6zbMath1490.68292OpenAlexW3195045086MaRDI 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 assistantsGUI toolsIDEs

Mathematics Subject Classification ID

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

Related Items (1)

ProofViz

Uses Software

• PVS
• LOUI
• HACL*

Cites Work

• Unnamed Item
• HACL*
• Inductive families
• Functionality in Combinatory Logic
• Type systems as macros
• Traf: a graphical proof tree viewer cooperating with Coq through Proof General

This page was built for publication: ProofViz: an interactive visual proof explorer