Proof Repair across Type Equivalences
PLDI 2021
slideslive-recorder_20210524T003245.063Z_user.webm
slideslive-recorder_20210524T003245.063Z_display.webm