Traf: a graphical proof tree viewer cooperating with Coq through Proof General

DOI10.1007/978-3-030-02768-1_9zbMath1519.68313OpenAlexW2896474834MaRDI QIDQ6166143

Yuta Tanaka, Mai Kimura, Hideyuki Kawabata, Tetsuo Hironaka

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-02768-1_9

zbMATH Keywords

Coqinteractive theorem proverproof generalproof tree viewerreadability of proof scripts

Mathematics Subject Classification ID

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

Related Items (1)

ProofViz: an interactive visual proof explorer

This page was built for publication: Traf: a graphical proof tree viewer cooperating with Coq through Proof General