Mostly Automated Proof Repair for Verified Libraries [pdf]