MathNetwork/MathlibGraph download history
MathNetwork/MathlibGraph is a graph ml dataset on the Hugging Face Hub. In the last 30 days it was downloaded 444 times (71 in the last 7 days), and 6,108 times in total. It ranks #36,344 among datasets by monthly downloads.
MathlibGraph: The Multinetwork of Mathlib Dependency graph of Mathlib (commit 534cf0b, 2 Feb 2026), the largest formal mathematics library for Lean 4 (v4.28.0-rc1). Three dependency layers (declarations, modules, namespaces), each with nodes, edges, and precomputed network metrics.