@misc{indiciae7a4acb86dbce,
  title = {Formalizing Singer Sidon Constructions and Sidon Set Infrastructure in Lean 4},
  author = {David B. Hulak and Arthur F. Ramos and Ruy J. G. B. de Queiroz},
  year = {2026},
  url = {https://arxiv.org/abs/2605.03274},
  note = {Source identifier: 2605.03274}
}