[ Source: prooftree ]
Paketti: prooftree (0.13-1build3)
Links for prooftree
Trisquel-palvelut:
Imuroi lähdekoodipaketti prooftree:
Ylläpitäjä:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Hendrik Tews
External Resources:
- Kotisivu [askra.de]
Samankaltaisia paketteja:
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.
Muut pakettiin prooftree liittyvät paketit
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa 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
Imuroi prooftree
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 812.1 kt | 4231 kt | [tiedostoluettelo] |
| i386 | 732.5 kt | 3426 kt | [tiedostoluettelo] |