arXivJim Woodcock, Gabriel Leite, Augusto Sampaio, Ran WeiThu, Aug 13, 2026, 9:43 AM PDT
score 14.7
Tool uses AI to fix Isabelle proofs while ensuring edits stay approved
Original: CAPRI: Contract-Aware Proof Repair for Isabelle
Source: arxiv.org ↗
Writing ELI5 summary…