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)

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

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  knižnica GDK Pixbuf

• dep: libglib2.0-0 (>= 2.35.9)

  knižnica glib funkcií jazyka C

• dep: libgtk2.0-0 (>= 2.24.0)

  GTK graphical user interface library - old version

• dep: libpango-1.0-0 (>= 1.22.0)

  rozloženie a vykreslenie internacionalizovaného textu

• 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+b2	1,058.7 kB	4,973.0 kB	[zoznam súborov]
arm64	0.13-2+b2	1,254.6 kB	5,875.0 kB	[zoznam súborov]
armhf	0.13-2+b2	1,008.1 kB	3,441.0 kB	[zoznam súborov]
i386	0.13-2+b2	1,002.8 kB	4,201.0 kB	[zoznam súborov]
ppc64el	0.13-2+b2	1,126.4 kB	5,507.0 kB	[zoznam súborov]
s390x	0.13-2	1,093.3 kB	5,591.0 kB	[zoznam súborov]