@misc{indiciaeee34c8750883,
  title = {ProofPatch: Reviewing Lean Statements and Keeping the Reviews Valid as Formalizations Evolve},
  author = {Xujun Che and Depeng Xu and Jian Xiang and Taufiqua Khan},
  year = {2026},
  url = {https://arxiv.org/abs/2611.01357},
  note = {Source identifier: 2611.01357}
}