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) [nie armel, mips64el, mipsel]

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

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

  GDK Pixbuf library (transitional package)

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

  Glib, biblioteka funkcji języka C

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

  GTK graphical user interface library - old version

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

  pakiet wirtualny udostępniany przez liblablgtk2-ocaml

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

  Rozmieszeczenie i rendering umiędzynarodowionego tekstu

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

  pakiet wirtualny udostępniany przez ocaml-base-nox

• 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+b1	1 060,9 KiB	4 973,0 KiB	[lista plików]
arm64	0.13-2+b1	1 253,3 KiB	5 875,0 KiB	[lista plików]
armel	0.13-2+b1	1 142,4 KiB	4 784,0 KiB	[lista plików]
armhf	0.13-2+b1	1 008,5 KiB	3 441,0 KiB	[lista plików]
i386	0.13-2+b1	1 002,0 KiB	4 201,0 KiB	[lista plików]
mips64el	0.13-2+b1	1 141,8 KiB	4 784,0 KiB	[lista plików]
mipsel	0.13-2+b1	1 142,7 KiB	4 784,0 KiB	[lista plików]
ppc64el	0.13-2+b1	1 129,0 KiB	5 507,0 KiB	[lista plików]