Пакет: 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

зависимости

препоръчани

предложени

enhances

dep: coq (>= 8.4)

proof assistant for higher-order logic (toplevel and compiler)
dep: liblablgtk2-ocaml-ea813

виртуален пакет, предлаган от liblablgtk2-ocaml
dep: ocaml-base-nox-4.11.1

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

generic frontend for proof assistants

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
mipsel	0.13-2+b1	1 142,7 кБ	4 784,0 кБ	[списък на файловете]