Announcements for Proofgraph
Proofgraph – Dependency graphs of the results of mathematical articles
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.2.1 |
| Copyright | 2026 Pierre Senellart |
| Maintainer | Pierre Senellart |
Atom Atom 1.0 feed with announcements for package proofgraph.
RSS RSS 2.0 feed with announcements for package proofgraph.