https://www.ctan.org/ctan-ann/rss/proofgraph.xml CTAN announcements mailing list - for package proofgraph Thu, 04 Jun 2026 12:48:23 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/proofgraph.xml https://www.ctan.org/ctan-ann/id/c8620a8a35a8447b@hogwart 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). ... ]]> Thu, 04 Jun 2026 05:09:54 +0200 https://www.ctan.org/ctan-ann/id/c8620a8a35a8447b@hogwart