Frozen data artifacts for the paper “Mathematical Knowledge at the
Mesoscale: Organization after the Formal Mathematics Revolution” by Andrea
E. V. Ferrari, Benjy Firester, Xinze Li, Simone Severini, and Patrick Shafto.
The corresponding source code, exact commands, and manuscript live in the
MathNetwork/MesoMathematics
repository.
This release fixes Mathlib at v4.33.0, commit
db584cd6d46c92f209a44c0f1c829460d327499d, with Lean v4.33.0. The full
commit, not the… See the full description on the dataset page:
https://huggingface.co/datasets/CloKTech/MesoMathematics.
