Mathlib Dependency Explorer
Structures
Imports
Type Deps
Proof Deps
Unified
Search Mode
Traversal Mode
Click nodes to build custom neighborhoods
Loading graph data...
Click nodes to expand!
Active: None
Traversal Depth (K):
1
Center View
Clear All
0 nodes, 0 edges
🖱️
Click
nodes to expand • 🔍
Search
to add nodes • 📌
Drag
to move