A visualization of the import graph of Lean's Mathlib, built with Sigma.js. Node sizes indicate the number of declarations in the file.
Hover over a node to show only the files it imports. Hover over a directory name to highlight only the files in that directory