Package: prooftree (0.13-2 and others)

[ Source: prooftree  ]

visualizzazione di alberi di dimostrazione per Proof General

Prooftree disegna alberi di dimostrazione durante lo sviluppo di dimostrazioni interattive con Proof General. Si possono ispezionare obiettivi e comandi di dimostrazione e controllare se variabili esistenziali sono state introdotte e istanziate. Attualmente Prooftree funziona solo per Coq.

Tags: Interface Toolkit: GTK

Other Packages Related to prooftree

• dep: coq (>= 8.4)

  assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)

• dep: libc6 (>= 2.29) [not armel, mips64el, mipsel]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not armel, mips64el, mipsel]

  libreria GDK Pixbuf (pacchetto di transizione)

• dep: libglib2.0-0 (>= 2.35.9) [not armel, mips64el, mipsel]

  libreria GLib di routine in C

• dep: libgtk2.0-0 (>= 2.24.32) [not armel, mips64el, mipsel]

  libreria per interfacce utente grafiche GTK - vecchia versione

• dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]

  virtual package provided by liblablgtk2-ocaml

• dep: libpango-1.0-0 (>= 1.22.0) [not armel, mips64el, mipsel]

  impaginazione e rendering di testo internazionalizzato

• dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]

  virtual package provided by ocaml-base-nox

• dep: proofgeneral (>= 4.3~pre130510)

  frontend generico per assistenti alla dimostrazione

Download prooftree

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.13-2+b1	1,060.9 kB	4,973.0 kB	[list of files]
arm64	0.13-2+b1	1,253.3 kB	5,875.0 kB	[list of files]
armel	0.13-2+b1	1,142.4 kB	4,784.0 kB	[list of files]
armhf	0.13-2+b1	1,008.5 kB	3,441.0 kB	[list of files]
i386	0.13-2+b1	1,002.0 kB	4,201.0 kB	[list of files]
mips64el	0.13-2+b1	1,141.8 kB	4,784.0 kB	[list of files]
mipsel	0.13-2+b1	1,142.7 kB	4,784.0 kB	[list of files]
ppc64el	0.13-2+b1	1,129.0 kB	5,507.0 kB	[list of files]