There are 0 repository under proof-repair topic.
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Artifact for "Proof Repair across Quotient Type Equivalences" paper (under submission)