Stream: Beginner Questions

Topic: Dependecy graphs


view this post on Zulip Bilel Ghorbel (Jul 11 2021 at 16:03):

I am working on reformulating some functions, definitions in a theory that was not written by me. I thought whether it is possible to automatically generate a dependency graph over the functions and definitions in the project, to get directly the ones I should work on.

view this post on Zulip Mathias Fleury (Jul 11 2021 at 16:34):

as far as I know, there is no tool for that. It only exists on theory level.


Last updated: Mar 28 2024 at 08:18 UTC