| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-proofgraph | Distribution: OpenMandriva Lx |
| Version: 1.0.1 | Vendor: OpenMandriva |
| Release: 79642.1 | Build date: Sat Jul 18 17:48:21 2026 |
| Group: Publishing | Build host: altra-1.openmandriva.org |
| Size: 0 | Source RPM: texlive-proofgraph-1.0.1-79642.1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/latex/contrib/proofgraph | |
| Summary: 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.
lppl1.3
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/proofgraph /usr/share/texmf-dist/doc/latex/proofgraph/LICENSE /usr/share/texmf-dist/doc/latex/proofgraph/README.md /usr/share/texmf-dist/doc/latex/proofgraph/proofgraph.pdf /usr/share/texmf-dist/source /usr/share/texmf-dist/source/latex /usr/share/texmf-dist/source/latex/proofgraph /usr/share/texmf-dist/source/latex/proofgraph/proofgraph.dtx /usr/share/texmf-dist/source/latex/proofgraph/proofgraph.ins /usr/share/texmf-dist/tex /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/proofgraph /usr/share/texmf-dist/tex/latex/proofgraph/proofgraph.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Aug 7 22:13:43 2026