[ Paquet source : prooftree ]
Paquet : prooftree (0.13-1build3)
Liens pour prooftree
Ressources Trisquel :
Télécharger le paquet source prooftree :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Hendrik Tews
Ressources externes :
- Page d'accueil [askra.de]
Paquets similaires :
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.
Autres paquets associés à prooftree
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par 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
Télécharger prooftree
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 812,1 ko | 4231 ko | [liste des fichiers] |
| i386 | 732,5 ko | 3426 ko | [liste des fichiers] |