MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 2 characters in body

Well, it's probably time to learn regular expressions

alt text (http://xkcd.com/208/)

More seriously, I don't know if a graphical tools already exists, but writing a small say Python script which parse every \ref, \eqref and \cite in each proof environment using regular expressions is rather easy. Maybe the only ambiguous things is to associate each proof environment to with the corresponding theorem/lemma. Then it would again be easy to generate Graphviz code from that, and Graphviz will automatically produce a nice oriented graph showing all the dependencies.

show/hide this revision's text 1

Well, it's probably time to learn regular expressions

alt text (http://xkcd.com/208/)

More seriously, I don't know if a graphical tools already exists, but writing a small say Python script which parse every \ref, \eqref and \cite in each proof environment using regular expressions is rather easy. Maybe the only ambiguous things is to associate each proof environment to the corresponding theorem/lemma. Then it would again be easy to generate Graphviz code from that, and Graphviz will automatically produce a nice oriented graph showing all the dependencies.