equivalences
There are 1 repositories under equivalences topic.
uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
There are 1 repositories under equivalences topic.
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.