Typeclass hierarchy graph

Stream: maths

[Bhavik Mehta]

Is there a graph of the typeclass hierarchy (by extends) for mathlib? I'm curious how easy it would be to slot Heyting lattices in there

[Bryan Gin-ge Chen]

@Floris van Doorn posted a link to a script that generates this data this thread. I was supposed to take a look at modifying it to make graphs as part of CI but I haven't had time to yet.