Math & Science ⇒ Reference Tree

[farael]

Hello

I am looking for a package that performs a reference tree on a document. For instance, if "Theorem x" is referenced via the \ref command 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.