Signal2026-07-16
arXiv

Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256

Open primary sourceRead on Substack