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: liblablgtk2-ocaml-ea813

virtuálny balík poskytovaný balíkom liblablgtk2-ocaml
dep: ocaml-base-nox-4.11.1

virtuálny balík poskytovaný balíkom ocaml-base-nox
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
mipsel	0.13-2+b1	1,142.7 kB	4,784.0 kB	[zoznam súborov]