TY  - RPRT
TI  - Proof Repair across Type Equivalences
AU  - Talia Ringer
AU  - RanDair Porter
AU  - Nathaniel Yazdani
AU  - John Leo
AU  - Dan Grossman
PY  - 2021
DO  - 10.1145/3453483.3454033
UR  - https://arxiv.org/abs/2010.00774
ID  - 2010.00774
ER  -