1 result found Sort:

uwplse
pumpkin-pi uwplse
9
49
mit
11
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
coq devoid repair ornaments transport coq-plugin pumpkin-pi proof-reuse refactoring equivalences proof-repair pumpkin-patch dependent-types proof-assistants proof-refactoring algebraic-ornaments
Created 2018-02-06
2,340 commits to master branch, last one 2 years ago