CoolFace
Datasetpublic

hoskinson-center/proof-pile

A dataset of high quality mathematical text.

sourceHugging Faceapache-2.0updated 3y agoView on Hugging Face
68likes4.7kdownloads
rootdev.gitattributes

Nothing at this path on main. The folder may be empty, or the revision may not exist.

hoskinson-center/proof-pile · main · files are served by the source, never re-hosted here