Inspecting mathlib's type class hiearchy

Stream: mathlib4

[Vlad Tsyrklevich]

I was curious to explore mathlib's type class hierarchy. I have a vague feeling that I've seen such a visualization tool somewhere before, but can't find it. Am I hallucinating this tool, and if so, is there a preferred method to extract this data from mathlib?

[Eric Wieser]

I think @Floris van Doorn has such a tool in another thread

[Eric Wieser]

It would be great if this became a native feature of doc-gen though, perhaps with some annotations to help

[Floris van Doorn]

Here is the other thread: #mathlib4 > instance graphs