## Stream: general

### Topic: documentation: structure / class heirarchy

#### 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?

#### Johan Commelin (Nov 03 2020 at 15:16):

Yup, in some form

#### Johan Commelin (Nov 03 2020 at 15:16):

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

#### 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

#### Johan Commelin (Nov 03 2020 at 15:17):

But doing anything with it has been dormant for a while

#### 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 :/

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

#### Eric Wieser (Nov 03 2020 at 15:25):

What I was after:

graphviz.svg

Last updated: May 18 2021 at 16:25 UTC