Пакунок: prooftree (0.13-2 and others)

[ Source: prooftree  ]

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.

Tags: Interface Toolkit: GTK

Інші пакунки пов'язані з prooftree

• dep: coq (>= 8.4)

  Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)

• dep: libc6 (>= 2.29)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

  GDK Pixbuf library (transitional package)

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

  Glib бібліотека алгоритмів на Сі

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

  GTK graphical user interface library - old version

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

  Форматування та відтворення інтернаціоналізованого тексту

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

Завантажити prooftree

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
arm64	0.13-2+b1	1,253.3 kB	5,875.0 kB	[список файлів]