NetSet

Mathlib dependency graph

Info

	scikit-network name	`mathlib`
	Description	Graph of imports in Mathlib
	Creation date	February 2026
	Download	tar.gz (0.1 MB) \| zip (0.1 MB)

Adjacency

	Nodes	7,661 modules
	Edges	21,178
	Type	Directed

Attributes

Attribute	Sample	Type
Adjacency	1	int64
Labels	20	int64
Names	Mathlib	string
Label names	Algebra	string