https://www.ctan.org/ctan-ann/rss/proofgraph.xml CTAN announcements mailing list - for package proofgraph Fri, 11 Sep 2026 05:53:31 +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 https://www.ctan.org/ctan-ann/id/e2e20e7d-2fb7-a7ff-34eb-8c2e8ef3a7d5@ctan.org Pierre Senellart submitted an update to the proofgraph package. Version: 1.1.0 2026-07-31 License: lppl1.3 Summary description: Dependency graphs of the results of a mathematical article Announcement text:

---

Version 1.1.0 of proofgraph widens what the dependency graph of an article records. ... ]]> Sat, 01 Aug 2026 05:20:24 +0200 https://www.ctan.org/ctan-ann/id/e2e20e7d-2fb7-a7ff-34eb-8c2e8ef3a7d5@ctan.org