license:apache-2.0 region:us
---
license: apache-2.0
---
Hosting WIP version of the proof-pile-v2. 

Preprocessing scripts and documentation [on Github](https://github.com/EleutherAI/math-lm/tree/main/proof-pile-v2).