princhernwang/mathlib-refactor-history

Mathlib Refactor History This release is a source-level history of public declarations in leanprover-community/mathlib4, pinned to commit e72c1e277f31441626621f7d0c7207862fc25569. It connects a complete commit index to statement-change scans and lossless before/after bundles for refactor-shaped historical events. The package contains 157.7 MiB of compressed/derived data in 17 data files. Exact byte counts and both compressed and canonical SHA-256 digests are recorded in… See the full description on the dataset page: https://huggingface.co/datasets/princhernwang/mathlib-refactor-history.