Zulip Chat Archive

Stream: maths

Topic: Typeclass hierarchy graph

view this post on Zulip 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

view this post on Zulip 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