Dataset release
MesoMathematics
Proof-network data and analysis artifacts from a fixed Mathlib snapshot.
Overview
The public dataset contains Lean declarations, theorem hypergraphs, analysis outputs and reproduction notes. Its graph records one retained proof per theorem in a fixed formal-library snapshot.
The dataset card identifies Mathlib v4.33.0 at commit db584cd6d46c92f209a44c0f1c829460d327499d. Measurements describe this snapshot and its retained proofs; they do not define a unique graph of mathematics.
Available materials
- Dataset
- Browse the release, contributor credits, file manifest, reproduction notes and checksums. The dataset card specifies Apache 2.0 for Mathlib-derived artifacts.