[ Zdroj: prooftree ]
Balík: prooftree (0.13-1build3)
Odkazy pre prooftree
Zdroje Trisquel:
Stiahnuť zdrojový balík prooftree:
Správca:
Original Maintainers:
- Debian OCaml Maintainers (Konferencia)
- Hendrik Tews
Externé zdroje:
- Domovská stránka [askra.de]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom prooftree
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libgdk-pixbuf2.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.31)
- GTK+ graphical user interface library
-
- dep: libpango-1.0-0 (>= 1.14.0)
- Layout and rendering of internationalized text
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants
Stiahnuť prooftree
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 812.1 kB | 4231 kB | [zoznam súborov] |
| i386 | 732.5 kB | 3426 kB | [zoznam súborov] |