There are 0 repository under pumpkin-pi topic.
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.