我有一篇用于\label命名定理、命题等的论文。
如果 Y 在紧随 X 之后的最接近的证明环境中被提及，我们说定理、命题等 X 依赖于定理、命题等 Y。
我想知道是否存在一个工具可以采用我的 .tex 源并构建定理、命题等之间的依赖关系图。
编辑. Andrew 请求
这是一个工作示例
\documentclass[12pt]{article}
\usepackage[left=2cm,right=2cm,
top=2cm,bottom=2cm,bindingoffset=0cm]{geometry}
\usepackage{amssymb,amsmath}
\usepackage[utf8]{inputenc}
\usepackage[matrix,arrow,curve]{xy}
\usepackage[russian]{babel}
\usepackage[final]{graphicx}
\usepackage{mathrsfs}
\newtheorem{theorem}{Theorem}[subsection]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newenvironment{proof}{\par $\triangleleft$}{$\triangleright$}
\begin{document}
\begin{proposition}\label{Prop1}
bla bla follows from bla
\end{proposition}
\begin{proof}
Obvious.
\end{proof}
\begin{theorem}\label{Prop2}
bla bla bla follows from bla bla
\end{theorem}
\begin{proof} Apply \ref{Prop1}, the rest is clear
\end{proof}
\begin{remark}\label{Rem1} % remarks have no proofs, so they shouldn't be parsed
\ref{Prop2} is harder than \ref{Prop1}.
\end{remark}
\end{document}
输出格式应为Graphviz（或任何其他可公开获取的信息）。