[ Pakiet źródłowy: prooftree ]
Pakiet: prooftree (0.13-1build3)
Odnośniki dla prooftree
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego prooftree:
Opiekun:
Original Maintainers:
- Debian OCaml Maintainers (Archiwum e-mail)
- Hendrik Tews
Zasoby zewnętrzne:
- Strona internetowa [askra.de]
Podobne pakiety:
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.
Inne pakiety związane z prooftree
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
również pakiet wirtualny udostępniany przez 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
Pobieranie prooftree
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 812,1 KiB | 4231 KiB | [lista plików] |
| i386 | 732,5 KiB | 3426 KiB | [lista plików] |