@misc{indiciaeafc7db640f55,
  title = {Auto formalisation of Chaitin and of the surprise incompleteness Theorem},
  author = {Thierry Coquand},
  year = {2026},
  url = {https://arxiv.org/abs/2606.12462},
  note = {Source identifier: 2606.12462}
}