TY  - RPRT
TI  - Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
AU  - Lei Zhang
AU  - Yusheng Zhao
AU  - Hongshun Yao
AU  - Xin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.14082
ID  - 2607.14082
ER  -