prooftree 0.12-2build1 (ppc64el binary) in ubuntu yakkety
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.
Details
- Package version:
- 0.12-2build1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
ppc64el build of prooftree 0.12-2build1 in ubuntu xenial PROPOSED produced
these files:
- prooftree_0.12-2build1_ppc64el.deb (858.6 KiB)
Package relationships
- Depends on:
- coq (>= 8.4)
- liblablgtk2-ocaml-5x8n7
- ocaml-base-nox-4.02.3
- proofgeneral (>= 4.3~pre130510)