@misc{indiciaee69636405521,
  title = {Certified algorithms for numerical semigroups in Rocq},
  author = {Massimo Bartoletti and Stefano Bonzio and Marco Ferrara},
  year = {2025},
  url = {https://arxiv.org/abs/2505.23205},
  note = {Source identifier: 2505.23205}
}