Pierre Senellart submitted the
proofgraph
package.
Version: 1.0.0 2026-06-02 License: lppl1.3c
Summary description: Dependency graphs of the results of a mathematical article
Announcement text: -------------------------------------------------------------------------------- proofgraph 1.0.0 (first release)
proofgraph automatically builds a dependency graph between the results of a mathematical article, with no manual annotation: it infers an edge whenever the proof of one result cross-references another. It writes a Graphviz .dot file and can optionally render and embed the graph (with shell-escape). --------------------------------------------------------------------------------
This package is located at https://mirrors.ctan.org/macros/latex/contrib/proofgraph
More information is at https://ctan.org/pkg/proofgraph
--------------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Manfred Lotz
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs .