package prooftree
Proof-tree visualization for Coq via Proof General
Install
Dune Dependency
Authors
Maintainers
Sources
v0.14.tar.gz
md5=37d1fd23a764191fa3595aca25242357
sha512=a37176d11ed3babad9a67f18da1ba77a2177bceca536fba8b67a9410c1278ce43e85d120c53bd079c686f708257f7df4c309fe258b7b53f56430a4b0f0836965
Description
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.
Published: 27 Feb 2024
On This Page