proof-repair

There are 4 repositories under proof-repair topic.

uwplse/PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Language:OCaml50 10 632
uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Language:Coq49 11 579
verse-lab/sisyphus
Mostly Automated Proof Repair for Verified Libraries
Language:OCaml4 2 300
InnovativeInventor/proof-repair-quotients
Artifact for "Proof Repair across Quotient Type Equivalences" paper (under submission)
Language:Agda2 0