Balík: prooftree (0.13-2 a iné)

Odkazy pre prooftree

Zdroje Debian:

Stiahnuť zdrojový balík prooftree:

Správcovia:

Externé zdroje:

Domovská stránka [askra.de]

Podobné balíky:

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.

Značky: Sada nástrojov používateľského rozhrania: GTK

Ostatné balíky súvisiace s balíkom prooftree

závisí

odporúča

navrhuje

vylepšuje

dep: coq (>= 8.4)

asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
dep: libc6 (>= 2.29)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

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

knižnica glib funkcií jazyka C
dep: libgtk2.0-0 (>= 2.24.32)

GTK graphical user interface library - old version
dep: libpango-1.0-0 (>= 1.22.0)

rozloženie a vykreslenie internacionalizovaného textu
dep: proofgeneral (>= 4.3~pre130510)

generic frontend for proof assistants

Stiahnuť prooftree

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	0.13-2+b1	1,060.9 kB	4,973.0 kB	[zoznam súborov]