Package: prooftree (0.13-2 and others)

[ Source: prooftree  ]

Bevistræsvisualisering for Proof General

Prooftree tegner bevistærer under interaktiv bevisudvikling med Proof General. Man kan inspicere mål og proof-kommandoer og kontrollere om eksistentielle variabler blev introduceret og instantieret. I øjeblikket virker Prooftree kun for Coq.

Tags: Interface Toolkit: GTK

Other Packages Related to prooftree

• dep: coq (>= 8.4)

  Bevisassistent for højere ordens logik - topniveau og kompiler

• dep: libc6 (>= 2.29)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

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

  GDK Pixbuf-bibliotek

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

  GLib-bibliotek for C-rutiner

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

  Grafisk brugergrænsefladebibliotek til GTK - ældre version

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

  Layout og optegning af internationaliseret tekst

• dep: proofgeneral (>= 4.3~pre130510)

  Generisk brugerflade for bevisassistenter

Download prooftree

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.13-2+b2	1,058.7 kB	4,973.0 kB	[list of files]
arm64	0.13-2+b2	1,254.6 kB	5,875.0 kB	[list of files]
armhf	0.13-2+b2	1,008.1 kB	3,441.0 kB	[list of files]
i386	0.13-2+b2	1,002.8 kB	4,201.0 kB	[list of files]
ppc64el	0.13-2+b2	1,126.4 kB	5,507.0 kB	[list of files]
s390x	0.13-2	1,093.3 kB	5,591.0 kB	[list of files]