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

Ссылки для prooftree

Ресурсы Debian:

Исходный код prooftree:

Сопровождающие:

Внешние ресурсы:

Сайт [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.

Теги: Инструментарий интерфейса: GTK

Другие пакеты, относящиеся к prooftree

зависимости

рекомендации

предложения

enhances

dep: coq (>= 8.4)

интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)
dep: libc6 (>= 2.29) [не armel, mips64el, mipsel]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [не armel, mips64el, mipsel]

библиотека GDK Pixbuf (переходный пакет)
dep: libglib2.0-0 (>= 2.35.9) [не armel, mips64el, mipsel]

библиотека С-функций
dep: libgtk2.0-0 (>= 2.24.32) [не armel, mips64el, mipsel]

GTK graphical user interface library - old version
dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]

виртуальный пакет, предоставляемый liblablgtk2-ocaml
dep: libpango-1.0-0 (>= 1.22.0) [не armel, mips64el, mipsel]

библиотека компоновки и отрисовки текста на разных языках
dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]

виртуальный пакет, предоставляемый ocaml-base-nox
dep: proofgeneral (>= 4.3~pre130510)

generic frontend for proof assistants

Загрузка prooftree

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.13-2+b1	1 060,9 Кб	4 973,0 Кб	[список файлов]
arm64	0.13-2+b1	1 253,3 Кб	5 875,0 Кб	[список файлов]
armel	0.13-2+b1	1 142,4 Кб	4 784,0 Кб	[список файлов]
armhf	0.13-2+b1	1 008,5 Кб	3 441,0 Кб	[список файлов]
i386	0.13-2+b1	1 002,0 Кб	4 201,0 Кб	[список файлов]
mips64el	0.13-2+b1	1 141,8 Кб	4 784,0 Кб	[список файлов]
mipsel	0.13-2+b1	1 142,7 Кб	4 784,0 Кб	[список файлов]
ppc64el	0.13-2+b1	1 129,0 Кб	5 507,0 Кб	[список файлов]