New on CTAN: proofgraph

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]