@misc{indiciae406b0be4f4aa,
  title = {Verification of Provers and Solvers},
  author = {René Thiemann},
  year = {2026},
  url = {https://arxiv.org/abs/2607.25793},
  note = {Source identifier: 2607.25793}
}