## Stream: maths

### Topic: Typeclass hierarchy graph

#### Bhavik Mehta (Jul 02 2020 at 20:11):

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 (Jul 02 2020 at 20:17):

@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.

Last updated: May 19 2021 at 02:10 UTC