facebookresearch / LeanUniverse
LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
☆62Updated 3 months ago
Alternatives and similar repositories for LeanUniverse:
Users that are interested in LeanUniverse are comparing it to the libraries listed below
- Harmonic Datasets