search

allenai / ruletaker

Apache License 2.0
41 stars 6 forks source link

Dataset Repo for ProofWriter #26

Open HarmanDotpy opened 3 years ago

HarmanDotpy commented 3 years ago

Hi I was working on the ProofWriter dataset, and wanted to know if you have plans to release a repo similar to this ruletaker repo, for the ProofWriter dataset as well?

Thanks