Paketti: prooftree (0.13-2 ja muut)

Links for prooftree

Debian-palvelut:

Imuroi lähdekoodipaketti prooftree:

Ylläpitäjät:

External Resources:

Kotisivu [askra.de]

Samankaltaisia paketteja:

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.

Tagit: Interface Toolkit: GTK

Muut pakettiin prooftree liittyvät paketit

depends

recommends

suggests

enhances

dep: coq (>= 8.4)

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

näennäispaketti, jonka toteuttaa liblablgtk2-ocaml
dep: ocaml-base-nox-4.11.1

näennäispaketti, jonka toteuttaa ocaml-base-nox
dep: proofgeneral (>= 4.3~pre130510)

generic frontend for proof assistants

Imuroi prooftree

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
mipsel	0.13-2+b1	1,142.7 kt	4,784.0 kt	[tiedostoluettelo]