TY  - RPRT
TI  - Computer-assisted Proof Under Audit: Typos, Certificate Errors, and Reproducible Exact Checks for a Symbolic Invertibility Proof
AU  - Fan Zheng
PY  - 2026
UR  - https://arxiv.org/abs/2608.13067
ID  - 2608.13067
ER  -