POPL 新论文首次给出证明修复的理论基础：配置即代数同构

Talia Ringer 团队在 POPL 发表《Proof Repair and (Co)algebra Equivalences》，首次为证明修复建立系统理论基础，并证明其核心组件 configuration 是代数同构。结果进一步扩展至余归纳类型，全部结论均在 Agda 中形式化验证；论文共 30 页，代码与 artifact 已公开。