I am looking for a package that performs a reference tree on a document. For instance, if "Theorem x" is referenced via the
\refcommand in the proof of "Theorem y", then on the tree there should be an arrow from "Theorem x" to "Theorem y". Such a graph should hopefully not contain loops
If you know anything like that, I'm interested.