proofgraph__source
Dependency graphs of the results of a mathematical article
- Version:
- 1.1.1
- Copyright:
- Pierre Senellart
- License:
- lppl1.3
- Packaged on:
- 09/12/2026 11:20:49
- Number of files:
- 2
- Size on disk:
- 131.57 kB
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.