LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management - View it on GitHub