PRISM Proof Repair Dataset

This is the first release of a sample of the PRISM Coq proof repair dataset. We will update with later versions when repair mining is complete and goes through DARPA's approval process. The initial release (data and limitations) is documented here: https://docs.google.com/document/d/19A6YMm1glkcd7ze8wi87pxmUgogA3Mitny7mDl-192c/edit?usp=sharing. It includes about 200 unique changes. Later versions will include more data and better line number information, and will be deduplicated.