Graph visualization of every theorem?

Stream: general

[Matt Yan]

Is it possible to visualize the entire mathlib by a directed graph of theorems and axioms? It would look cool!

[Mario Carneiro]

https://eric-wieser.github.io/mathlib-import-graph/

[Matt Yan]

pretty cool stuff, but a graph of theorems only would look different (less messy) I think?

[Mario Carneiro]

that's a graph of files only. A graph of theorems would look much messier