Zulip Chat Archive

Stream: general

Topic: Graph visualization of every theorem?


Matt Yan (Feb 05 2022 at 05:45):

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

Mario Carneiro (Feb 05 2022 at 05:55):

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

Matt Yan (Feb 05 2022 at 06:05):

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

Mario Carneiro (Feb 05 2022 at 06:10):

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


Last updated: Dec 20 2023 at 11:08 UTC