@misc{indiciae908b21206e60,
  title = {Establishing trust in automated reasoning},
  author = {Konrad Hinsen},
  year = {2025},
  url = {https://arxiv.org/abs/2309.12351},
  note = {Source identifier: 2309.12351}
}