TY  - RPRT
TI  - CAPRI: Contract-Aware Proof Repair for Isabelle
AU  - Jim Woodcock
AU  - Gabriel Leite
AU  - Augusto Sampaio
AU  - Ran Wei
PY  - 2026
UR  - https://arxiv.org/abs/2608.13459
ID  - 2608.13459
ER  -