Пакет: prooftree (0.13-1build3)

Връзки за prooftree

Ресурси за Trisquel:

Изтегляне на пакет-източник prooftree.

Отговорник:

Ubuntu Developers (Пощенски архив)

Original Maintainers:

Debian OCaml Maintainers (Пощенски архив)
Hendrik Tews

Външни препратки:

Начална страница [askra.de]

Подобни пакети:

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.

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

зависимости

препоръчани

предложени

dep: coq (>= 8.4)

proof assistant for higher-order logic (toplevel and compiler)
dep: libc6 (>= 2.17)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

GDK Pixbuf library
dep: libglib2.0-0 (>= 2.35.9)

GLib library of C routines
dep: libgtk2.0-0 (>= 2.24.31)

GTK+ graphical user interface library
dep: libpango-1.0-0 (>= 1.14.0)

Layout and rendering of internationalized text
dep: proofgeneral (>= 4.3~pre130510)

generic frontend for proof assistants

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

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	812,1 кБ	4231 кБ	[списък на файловете]
i386	732,5 кБ	3426 кБ	[списък на файловете]

Sections