2 results found Sort:

uwplse
PUMPKIN-PATCH uwplse
2
51
mit
10
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
coq coq-plugin proof-repair pumpkin-patch proof-automation
Created 2017-10-07
655 commits to master branch, last one 3 years ago
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