Initial release of mathlib-network: Python pipeline for extracting and analyzing the dependency graph of Lean 4's Mathlib as a multi-layer network.
Initial release of mathlib-network: Python pipeline for extracting and analyzing the dependency graph of Lean 4's Mathlib as a multi-layer network.