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)

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

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  libreria GDK Pixbuf

• dep: libglib2.0-0 (>= 2.35.9)

  libreria GLib di routine in C

• dep: libgtk2.0-0 (>= 2.24.0)

  libreria per interfacce utente grafiche GTK - vecchia versione

• dep: libpango-1.0-0 (>= 1.22.0)

  impaginazione e rendering di testo internazionalizzato

• 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
ppc64el	0.13-2+b2	1,126.4 kB	5,507.0 kB	[list of files]