[ bullseye ]
[ bookworm ]
[ Източник: prooftree ]
Пакет: prooftree (0.13-2 и други)
Връзки за prooftree
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник prooftree.
Отговорници:
Външни препратки:
- Начална страница [askra.de]
Подобни пакети:
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.
Други пакети, свързани с prooftree
|
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.29) [не armel, mips64el, mipsel]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [не armel, mips64el, mipsel]
- GDK Pixbuf library (transitional package)
-
- dep: libglib2.0-0 (>= 2.35.9) [не armel, mips64el, mipsel]
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.32) [не armel, mips64el, mipsel]
- GTK graphical user interface library - old version
-
- dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]
- виртуален пакет, предлаган от liblablgtk2-ocaml
-
- dep: libpango-1.0-0 (>= 1.22.0) [не armel, mips64el, mipsel]
- Layout and rendering of internationalized text
-
- dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]
- виртуален пакет, предлаган от ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants
Изтегляне на prooftree
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| amd64 | 0.13-2+b1 | 1 060,9 кБ | 4 973,0 кБ | [списък на файловете] |
| arm64 | 0.13-2+b1 | 1 253,3 кБ | 5 875,0 кБ | [списък на файловете] |
| armel | 0.13-2+b1 | 1 142,4 кБ | 4 784,0 кБ | [списък на файловете] |
| armhf | 0.13-2+b1 | 1 008,5 кБ | 3 441,0 кБ | [списък на файловете] |
| i386 | 0.13-2+b1 | 1 002,0 кБ | 4 201,0 кБ | [списък на файловете] |
| mips64el | 0.13-2+b1 | 1 141,8 кБ | 4 784,0 кБ | [списък на файловете] |
| mipsel | 0.13-2+b1 | 1 142,7 кБ | 4 784,0 кБ | [списък на файловете] |
| ppc64el | 0.13-2+b1 | 1 129,0 кБ | 5 507,0 кБ | [списък на файловете] |