From Newsgroup: comp.text.tex
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 .
--- Synchronet 3.22a-Linux NewsLink 1.2