Mathlib dependency graph
A dataset from the netset collection
https://netset.telecom-paris.fr

Graph of imports in Mathlib

