@misc{indiciaea43592147bb0,
  title = {A formally certified end-to-end implementation of Shor’s factorization algorithm},
  author = {Peng, Yuxiang and Hietala, Kesha and Tao, Runzhou and Li, Liyi and Rand, Robert and Hicks, Michael and Wu, Xiaodi},
  year = {2023},
  doi = {10.1073/pnas.2218775120},
  url = {https://www.osti.gov/biblio/1973705},
  note = {Source identifier: 1973705}
}