Zulip Chat Archive

Stream: general

Topic: documentation: structure / class heirarchy


view this post on Zulip Eric Wieser (Nov 03 2020 at 15:10):

It would be great if there was some way to get a graphviz diagram of "everything that extends add_hom" or "everything extending has_add". Does this exist already?

view this post on Zulip Johan Commelin (Nov 03 2020 at 15:16):

Yup, in some form

view this post on Zulip Johan Commelin (Nov 03 2020 at 15:16):

Floris created some nice graphs for the mathlib paper from last year

view this post on Zulip Johan Commelin (Nov 03 2020 at 15:16):

And there is this PR, which turns his script into a JSON scraper https://github.com/leanprover-community/doc-gen/pull/52

view this post on Zulip Johan Commelin (Nov 03 2020 at 15:17):

But doing anything with it has been dormant for a while

view this post on Zulip Bryan Gin-ge Chen (Nov 03 2020 at 15:20):

Yeah, I promised to look at it months back but haven't gotten to it :/

view this post on Zulip Johan Commelin (Nov 03 2020 at 15:23):

No worries... it's not like I was waiting for it to get merged (-;
It's mostly there so that we don't loose the script.

view this post on Zulip Eric Wieser (Nov 03 2020 at 15:25):

What I was after:

graphviz.svg


Last updated: May 18 2021 at 16:25 UTC