Dependency graph for Lean4 project

Stream: Is there code for X?

[Hagb (Junyu Guo)]

Is there anything to generate a dependency graph (like this) for Lean4 project? I actually want to show definitions, theorems and the dependencies among them as a graph. The documentation in the graph is not needed.

[Hagb (Junyu Guo)]

I found https://github.com/PatrickMassot/leanblueprint, but it seems only for Lean3.