Skip to content
Sections
>> Trisquel >> Paket >> etiona >> science >> prooftree
etiona  ] [  nabia  ] [  aramo  ]
[ Källkod: prooftree  ]

Paket: prooftree (0.13-1build3)

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.

Andra paket besläktade med prooftree

  • beror
  • rekommenderar
  • föreslår
  • dep: coq (>= 8.4)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libc6 (>= 2.17)
    GNU C Library: Shared libraries
    också ett virtuellt paket som tillhandahålls av 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

Hämta prooftree

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 812,1 kbyte4231 kbyte [filförteckning]
i386 732,5 kbyte3426 kbyte [filförteckning]