@misc{indiciaef27e643bdca9,
  title = {Theorem prover Arend},
  author = {Fedor Part and Valery Isaev and Sergey Sinchuk},
  year = {2026},
  url = {https://arxiv.org/abs/2610.27264},
  note = {Source identifier: 2610.27264}
}