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 .