@misc{indiciae41930476743a,
  title = {Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library},
  author = {Bernardo Alonso},
  year = {2026},
  url = {https://arxiv.org/abs/2605.27633},
  note = {Source identifier: 2605.27633}
}