Arxiv 2608 13459v1 Capri Contract Aware Proof Repair For Isabelle

--
name: arxiv-2608-13459v1-capri-contract-aware-proof-repair-for-isabelle
description: 'CAPRI: Contract-Aware Proof Repair for Isabelle (arXiv: 2608.13459v1)'
metadata:
  {
    "arxiv_id": "2608.13459v1",
    "utility": 1.0,
    "title": "CAPRI: Contract-Aware Proof Repair for Isabelle",
    "authors": "Jim Woodcock, Gabriel Leite, Augusto Sampaio, Ran Wei",
    "url": "http://arxiv.org/abs/2608.13459v1"
  }
--

# CAPRI: Contract-Aware Proof Repair for Isabelle

**arXiv ID:** 2608.13459v1
**Authors:** Jim Woodcock, Gabriel Leite, Augusto Sampaio, Ran Wei
**URL:** http://arxiv.org/abs/2608.13459v1
**Utility Score:** 1.00

## Summary

This skill was automatically generated from the arXiv paper titled "CAPRI: Contract-Aware Proof Repair for Isabelle" (ID: 2608.13459v1).

## Usage

This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.

## References

- arXiv: http://arxiv.org/abs/2608.13459v1