Binary package “prooftree” in ubuntu focal
proof-tree visualization for Proof General
Prooftree draws proof trees during interactive proof development
with Proof General. One can inspect goals and proof commands
and check where existential variables were introduced and
instantiated. Currently, Prooftree does only work for Coq.
Source package
Published versions
- prooftree 0.13-1build9 in amd64 (Proposed)
- prooftree 0.13-1build9 in amd64 (Release)
- prooftree 0.13-1build9 in arm64 (Proposed)
- prooftree 0.13-1build9 in arm64 (Release)
- prooftree 0.13-1build9 in ppc64el (Proposed)
- prooftree 0.13-1build9 in ppc64el (Release)
- prooftree 0.13-1build9 in riscv64 (Release)