ctan-ann - proofgraph Announcements of the Comprehensive TeX Archive Network ctan-ann-proofgraph 2026-06-04T11:27:29Z New on CTAN: proofgraph c8620a8a35a8447b@hogwart 2026-06-04T05:09:54Z Pierre Senellart submitted the proofgraph package. ... 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).
... ]]> CTAN Announcements ctan-ann at ctan.org