issues
search
uwplse
/
pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
MIT License
49
stars
9
forks
source link
Merge in decompiler from PUMPKIN PATCH to master as part of "Repair" command
#85
Closed
tlringer
closed
3 years ago