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