Pakiet: prooftree (0.13-2 i inne)

[ Pakiet źródłowy: 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.

Znaczniki: Pakiet narzędziowy interfejsu: GTK

Inne pakiety związane z prooftree

• dep: coq (>= 8.4)

  Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

• dep: libc6 (>= 2.29)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

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

  Biblioteka GDK Pixbuf

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

  Glib, biblioteka funkcji języka C

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

  GTK graphical user interface library - old version

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

  Rozmieszeczenie i rendering umiędzynarodowionego tekstu

• dep: proofgeneral (>= 4.3~pre130510)

  Ogólny interfejs dla asystentów dowodzenia twierdzeń

Pobieranie prooftree

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.13-2+b2	1 058,7 KiB	4 973,0 KiB	[lista plików]
arm64	0.13-2+b2	1 254,6 KiB	5 875,0 KiB	[lista plików]
armhf	0.13-2+b2	1 008,1 KiB	3 441,0 KiB	[lista plików]
i386	0.13-2+b2	1 002,8 KiB	4 201,0 KiB	[lista plików]
ppc64el	0.13-2+b2	1 126,4 KiB	5 507,0 KiB	[lista plików]
s390x	0.13-2	1 093,3 KiB	5 591,0 KiB	[lista plików]