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