CoolFace
Datasetpublic

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

sourceHugging Faceupdated 2y agoView on Hugging Face
0likes12downloads
root
file.gitattributes2 KBdownload
fileelan-mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385.tar.gz3.46 GBdownload

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385 · main · files are served by the source, never re-hosted here