prooftree_0.12-2build1_amd64.deb


Advertisement

Description

prooftree - proof-tree visualization for Proof General

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: prooftree
Package version: 0.12
Package release: 2build1
Package architecture: amd64
Package type: deb
Installed size: 2.61 KB
Download size: 592.61 KB
Official Mirror: archive.ubuntu.com
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.

Alternatives

    Download

    Source package: prooftree

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install prooftree deb package:
      # sudo apt-get install prooftree

    Files

    • /usr/bin/prooftree
    • /usr/share/doc-base/prooftree-changes
    • /usr/share/doc/prooftree/README
    • /usr/share/doc/prooftree/changelog.Debian.gz
    • /usr/share/doc/prooftree/changes.html
    • /usr/share/doc/prooftree/copyright
    • /usr/share/man/man1/prooftree.1.gz

    Changelog

    2015-11-04 - Łukasz 'sil2100' Zemczak <lukasz.zemczak@canonical.com> prooftree (0.12-2build1) xenial; urgency=medium * No-change rebuild against ocaml 4.02.

    2015-10-14 - Stéphane Glondu <glondu@debian.org> prooftree (0.12-2) unstable; urgency=low [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.02 [ Hendrik Tews ] * lintian canonical vcs

    2013-05-17 - Hendrik Tews <hendrik@askra.de> prooftree (0.12-1) unstable; urgency=low * Initial release (Closes: #672480)

    Advertisement
    Advertisement