An interactive viewer for the mathlib import graph
eric-wieser / mathlib-import-graph Goto Github PK
View Code? Open in Web Editor NEWAn interactive viewer for the mathlib import graph
Home Page: https://eric-wieser.github.io/mathlib-import-graph/
License: MIT License