GitHub repository: uwplse/pumpkin-pi
Primary language: Coq
Description: An extension to PUMPKIN PATCH with support for proof repair across type equivalences.