Pakket: prooftree (0.13-2 en anderen)

[ Bron: prooftree  ]

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.

Tags: Interface Toolkit: GTK

Andere aan prooftree gerelateerde pakketten

• dep: coq (>= 8.4)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libc6 (>= 2.29) [niet armel, mips64el, mipsel]

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6-udeb

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [niet armel, mips64el, mipsel]

  GDK Pixbuf library (transitional package)

• dep: libglib2.0-0 (>= 2.35.9) [niet armel, mips64el, mipsel]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.32) [niet armel, mips64el, mipsel]

  GTK graphical user interface library - old version

• dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]

  virtueel pakket geboden door liblablgtk2-ocaml

• dep: libpango-1.0-0 (>= 1.22.0) [niet armel, mips64el, mipsel]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]

  virtueel pakket geboden door ocaml-base-nox

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

prooftree downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	0.13-2+b1	1.060,9 kB	4.973,0 kB	[overzicht]
arm64	0.13-2+b1	1.253,3 kB	5.875,0 kB	[overzicht]
armel	0.13-2+b1	1.142,4 kB	4.784,0 kB	[overzicht]
armhf	0.13-2+b1	1.008,5 kB	3.441,0 kB	[overzicht]
i386	0.13-2+b1	1.002,0 kB	4.201,0 kB	[overzicht]
mips64el	0.13-2+b1	1.141,8 kB	4.784,0 kB	[overzicht]
mipsel	0.13-2+b1	1.142,7 kB	4.784,0 kB	[overzicht]
ppc64el	0.13-2+b1	1.129,0 kB	5.507,0 kB	[overzicht]