套件：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.

標籤: Interface Toolkit: GTK

其他與 prooftree 有關的套件

依賴

推薦

建議

增強

dep: coq (>= 8.4)

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

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
dep: libgdk-pixbuf-2.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	0.13-2+b2	1，058。7 kB	4，973。0 kB	[檔案列表]
arm64	0.13-2+b2	1，254。6 kB	5，875。0 kB	[檔案列表]
armhf	0.13-2+b2	1，008。1 kB	3，441。0 kB	[檔案列表]
i386	0.13-2+b2	1，002。8 kB	4，201。0 kB	[檔案列表]
ppc64el	0.13-2+b2	1，126。4 kB	5，507。0 kB	[檔案列表]
s390x	0.13-2	1，093。3 kB	5，591。0 kB	[檔案列表]