facebookresearch / LeanUniverseLinks

LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
64Updated 4 months ago

Alternatives and similar repositories for LeanUniverse

Users that are interested in LeanUniverse are comparing it to the libraries listed below

Sorting: