An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool