CTAN update: proofgraph
Version 1.1.0 of proofgraph widens what the dependency graph of an article records. Citations: every citation command of natbib and biblatex is now captured, and \proofgraphcitecommand declares further ones; \zcref of zref-clever is captured like the other cross-referencing commands. Statements: cross-references and citations made in the statement of a result, and not only in its proof, are now recorded as dependencies; the new "statements" option turns this off. Proofs: \proofgraphproofenv declares further environments to be treated as proofs; a result stated inside a proof is drawn as supporting the result that proof establishes; and a \proofof anywhere in a proof pins the proof as a whole, nested proofs included. Editing the graph: \usescite and \proofgraphciteedge record a dependency on a cited work by hand, and \proofgraphignorecite drops one; a rule that drops nothing is now reported. This release also fixes a number of bugs, among them citation nodes drawn without style or hyperlink, dependencies wrongly recorded from a running head, and every name but the first being ignored in a \proofgraphtrack list. The manual lists them all.
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 Erik Braun 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 .
proofgraph – Dependency graphs of the results of a mathematical article
The proofgraph package automatically produces a graph of the dependencies between the results (theorems, lemmas, propositions, and so on) of a mathematical article. It requires no manual annotation: an edge from one result to another is inferred whenever the proof of the former refers to the latter through an ordinary cross-reference (\ref, \cref, \autoref, \eqref, and similar), with a manual \uses command also available for dependencies not expressed through a visible reference. Citations of external work can optionally be captured as well. The package writes a Graphviz .dot file describing the graph; with shell-escape enabled it can additionally run Graphviz and embed the rendered graph into the document. Nodes can be styled according to the type of result, self-loops removed, specific citations suppressed, and chosen nodes excluded.
| Package | proofgraph |
| Version | 1.1.0 2026-07-31 |
| Copyright | 2026 Pierre Senellart |
| Maintainer | Pierre Senellart |