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
Tactic version of lifting
#73
Open
tlringer
opened
4 years ago
tlringer
commented
4 years ago
"by ornament"
"by ornament"