prooftreeversion

Proof-tree visualization for Coq via Proof General

Prooftree visualizes proof trees during proof development in Coq with Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it.

AuthorHendrik Tews <hendrik@askra.de>
LicenseGPL-3.0-or-later
Published
Homepagehttps://askra.de/software/prooftree/
Issue Trackerhttps://github.com/hendriktews/proof-tree/issues
MaintainerHendrik Tews <hendrik@askra.de>
Dependencies
Source [http] https://github.com/hendriktews/proof-tree/archive/refs/tags/v0.14.tar.gz
md5=37d1fd23a764191fa3595aca25242357
sha512=a37176d11ed3babad9a67f18da1ba77a2177bceca536fba8b67a9410c1278ce43e85d120c53bd079c686f708257f7df4c309fe258b7b53f56430a4b0f0836965
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/prooftree/prooftree.0.14/opam
No package is dependent