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 .
_______________________________________________
ctan-ann mailing list -- [email protected]
To unsubscribe send an email to [email protected]
