Stream: Coq users

Topic: Generate dependency graph


view this post on Zulip walker (Oct 02 2023 at 07:49):

Lets say I have a lemma FOO, is there way to generate dependeny graph (visual or data) in coq saying which lemmas are used to prove this lemma ?

Also is there some kind of warning system for dead code/dead lemmas ?

view this post on Zulip Meven Lennon-Bertrand (Oct 02 2023 at 08:10):

Would https://github.com/coq-community/coq-dpdgraph fit the bill?

view this post on Zulip walker (Oct 02 2023 at 09:07):

yes looks like what I need.


Last updated: Oct 13 2024 at 01:02 UTC