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.
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