A dataset of high quality mathematical text.
hoskinson-center/proof-pile · main · files are served by the source, never re-hosted here
