@misc{indiciaeea53aa0ece80,
  title = {Proof Repair across Type Equivalences},
  author = {Talia Ringer and RanDair Porter and Nathaniel Yazdani and John Leo and Dan Grossman},
  year = {2021},
  doi = {10.1145/3453483.3454033},
  url = {https://arxiv.org/abs/2010.00774},
  note = {Source identifier: 2010.00774}
}