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