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: Sep 25 2022 at 23:25 UTC