@misc{indiciae07b14c69f5f5,
  title = {Formal Verification of the Safegcd Implementation},
  author = {Russell O'Connor and Andrew Poelstra},
  year = {2025},
  url = {https://arxiv.org/abs/2507.17956},
  note = {Source identifier: 2507.17956}
}