@misc{indiciaee7cd76ab1506,
  title = {CAPRI: Contract-Aware Proof Repair for Isabelle},
  author = {Jim Woodcock and Gabriel Leite and Augusto Sampaio and Ran Wei},
  year = {2026},
  url = {https://arxiv.org/abs/2608.13459},
  note = {Source identifier: 2608.13459}
}