Пакет: prooftree (0.13-2build4)
Ссылки для prooftree
Ресурсы Trisquel:
Исходный код prooftree:
Сопровождающий:
Original Maintainers:
- Debian OCaml Maintainers (Почтовый архив)
- Hendrik Tews
Внешние ресурсы:
- Сайт [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.34)
- GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc6-udeb
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.35.9)
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.0)
- GTK graphical user interface library - old version
-
- dep: libpango-1.0-0 (>= 1.22.0)
- Layout and rendering of internationalized text
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants
Загрузка prooftree
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
ppc64el | 1 407,2 Кб | 5730 Кб | [список файлов] |