Loading...
Loading...
Available on 1 platform
Sign in to view source links and access this dataset
Proofwriter Dataset is a text-based resource for mathematical reasoning and logic proofs, published on the Hugging Face platform by D3xter1922. The dataset was last updated on October 4, 2022. Its specific content and scale require verification after download.
License information is unknown; users must verify terms before use.