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