Balík: prooftree (0.13-2 a iné)

[ Zdroj: 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.

Značky: Sada nástrojov používateľského rozhrania: GTK

Ostatné balíky súvisiace s balíkom prooftree

• dep: coq (>= 8.4)

  asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)

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

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

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

  GDK Pixbuf library (transitional package)

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

  knižnica glib funkcií jazyka C

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

  GTK graphical user interface library - old version

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

  virtuálny balík poskytovaný balíkom liblablgtk2-ocaml

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

  rozloženie a vykreslenie internacionalizovaného textu

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

  virtuálny balík poskytovaný balíkom ocaml-base-nox

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

Stiahnuť prooftree

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	0.13-2+b1	1,060.9 kB	4,973.0 kB	[zoznam súborov]
arm64	0.13-2+b1	1,253.3 kB	5,875.0 kB	[zoznam súborov]
armel	0.13-2+b1	1,142.4 kB	4,784.0 kB	[zoznam súborov]
armhf	0.13-2+b1	1,008.5 kB	3,441.0 kB	[zoznam súborov]
i386	0.13-2+b1	1,002.0 kB	4,201.0 kB	[zoznam súborov]
mips64el	0.13-2+b1	1,141.8 kB	4,784.0 kB	[zoznam súborov]
mipsel	0.13-2+b1	1,142.7 kB	4,784.0 kB	[zoznam súborov]
ppc64el	0.13-2+b1	1,129.0 kB	5,507.0 kB	[zoznam súborov]