An extension to PUMPKIN PATCH with support for proof repair across type equivalences. - View it on GitHub