Binary package “prooftree” in ubuntu jammy
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-2build4 in amd64 (Proposed)
- prooftree 0.13-2build4 in amd64 (Release)
- prooftree 0.13-2build4 in arm64 (Proposed)
- prooftree 0.13-2build4 in arm64 (Release)
- prooftree 0.13-2build4 in armhf (Proposed)
- prooftree 0.13-2build4 in armhf (Release)
- prooftree 0.13-2build4 in ppc64el (Proposed)
- prooftree 0.13-2build4 in ppc64el (Release)
- prooftree 0.13-2build4 in riscv64 (Proposed)
- prooftree 0.13-2build4 in riscv64 (Release)
- prooftree 0.13-2build4 in s390x (Proposed)
- prooftree 0.13-2build4 in s390x (Release)