Пакет: prooftree (0.13-2 и други)

[ Източник: 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.

Етикети: Interface Toolkit: GTK

Други пакети, свързани с prooftree

• dep: coq (>= 8.4)

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

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

  GDK Pixbuf library (transitional package)

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

  GLib library of C routines

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

  GTK graphical user interface library - old version

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

  Layout and rendering of internationalized text

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

Изтегляне на prooftree

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
ppc64el	0.13-2+b1	1 129,0 кБ	5 507,0 кБ	[списък на файловете]