@misc{indiciaec559fce4127a,
  title = {Lean-auto: An Interface between Lean 4 and Automated Theorem Provers},
  author = {Yicheng Qian and Joshua Clune and Clark Barrett and Jeremy Avigad},
  year = {2025},
  url = {https://arxiv.org/abs/2505.14929},
  note = {Source identifier: 2505.14929}
}