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.
Author | Hendrik Tews <hendrik@askra.de> |
---|---|
License | GPL-3.0-or-later |
Published | |
Homepage | https://askra.de/software/prooftree/ |
Issue Tracker | https://github.com/hendriktews/proof-tree/issues |
Maintainer | Hendrik Tews <hendrik@askra.de> |
Dependencies | |
Source [http] | https://github.com/hendriktews/proof-tree/archive/refs/tags/v0.14.tar.gz md5=37d1fd23a764191fa3595aca25242357 sha512=a37176d11ed3babad9a67f18da1ba77a2177bceca536fba8b67a9410c1278ce43e85d120c53bd079c686f708257f7df4c309fe258b7b53f56430a4b0f0836965 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/prooftree/prooftree.0.14/opam |
No package is dependent