Bilel Ghorbel (Jul 11 2021 at 16:03): 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.
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: Dec 21 2024 at 16:20 UTC