The Coq mailing list

["Brian E. Aydemir" <baydemir AT cis.upenn.edu>]

Hi everyone,

Does anyone here know of a dependency visualizer that works with  
recent versions of Coq, e.g., Coq 8.1gamma?  I'd like some sort of  
tool to help me determine what theorems and definitions a given  
theorem in my development depends on.  Coq-graphs ( http://www- 
sop.inria.fr/lemme/coq-graphs/ ) sounds like what I want, except that  
it appears to be for an older version of Coq and so I can't use it in  
its current state.

Thanks,
Brian