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

Ссылки для 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.29)

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.0)

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

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	1 041,3 Кб	5068 Кб	[список файлов]

Sections