Datasetpublic

Yuchen111/mathlib4-ds

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes3downloads

3 commits on main

b3913001y ago

Upload mathlib4-ds.tar.gz

Yuchen111

8bbcb901y ago

Upload mathlib4-ds.tar.gz

Yuchen111

d5246b71y ago

initial commit

Yuchen111