package prooftree

You can search for identifiers within the package.

in-package search v0.2.0

Proof-tree visualization for Coq via Proof General

Install

Dune Dependency

askra.de Edit opam file Versions (1)

Authors

H

Hendrik Tews <hendrik@askra.de>

Maintainers

H

Hendrik Tews <hendrik@askra.de>

Sources

md5=37d1fd23a764191fa3595aca25242357

sha512=a37176d11ed3babad9a67f18da1ba77a2177bceca536fba8b67a9410c1278ce43e85d120c53bd079c686f708257f7df4c309fe258b7b53f56430a4b0f0836965

doc/index.html

prooftree