hoskinson-center/proof-pile

Update README.md

fix bug introduced in last commit

make dataset viewer work

Update proof-pile.py

actually load all the data

Update README.md

Update README.md

added stats

Update README.md

update main to reflect v1.1

incremented version

removed unnecessary files

changed stack exchange filtering

Update README.md

added metadata

updatd readme

updated readme

Moved build scripts to github

production mode

added clarifying comment

analysis notebook

make files

make files

bug fix

bug fix

fixed things

extra postprocessing for first 1B run

modified test

yes

unbroke breaking changes

Merge branch 'main' of https://huggingface.co/datasets/hoskinson-center/proof-pile into main

converted books and formal to jsonl gz

Update README.md

maybe fixed byte strings thing?

I think I fixed everything!

silliest bug

gotta be it now

maybe now

fixed??

fixed?

locks

Merge branch 'main' of https://huggingface.co/datasets/hoskinson-center/proof-pile into main

fixed things?

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

Update README.md

think I'm finally done