TY  - RPRT
TI  - ProofPatch: Reviewing Lean Statements and Keeping the Reviews Valid as Formalizations Evolve
AU  - Xujun Che
AU  - Depeng Xu
AU  - Jian Xiang
AU  - Taufiqua Khan
PY  - 2026
UR  - https://arxiv.org/abs/2611.01357
ID  - 2611.01357
ER  -