Beta
Explore
Marketplace
Neural Labs
Playground
Wallet
Docs
MathlibGraph – Dataset by anon-mlib-d3a4 | AlphaNeural AI
You can deploy this model and start earning money today!
anon-mlib-d3a4
/
MathlibGraph
like
0
graph-ml
en
apache-2.0
100K<n<1M
us
mathematics
lean4
mathlib
dependency-graph
formal-verification
network-analysis
Views
No views yet
Model card
Files and Versions
Community
API
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.
Quick Stats
Declarations Modules Namespaces (k=2)
Nodes 308,129 7,564 10,097
Edges 8,436,366 20,881 332,081 (weighted)
DAG depth 83 154 7 (after SCC condensation) Louvain… See the full description on the dataset page:
https://huggingface.co/datasets/anon-mlib-d3a4/MathlibGraph
.
