Published April 8, 2021
| Version anonymized
Software
Open
PUMPKIN Pi
Authors/Creators
- 1. University of Washington
- 2. Northeastern University
- 3. Halfaya Research
Description
This is the artifact for the PLDI 2021 paper "Proof Repair Across Type Equivalences." The anonymized version has been vetted by AEC as functional and reusable. A deanonymized version corresponding to the links in the paper will be uploaded as a second version.
Files
paper-43.zip
Files
(12.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:12783352af03a427a254192ae29d1cd4
|
12.0 MB | Preview Download |