@misc{indiciaeb660dcb72357,
  title = {Lean-SMT: An SMT tactic for discharging proof goals in Lean},
  author = {Abdalrhman Mohamed and Tomaz Mascarenhas and Harun Khan and Haniel Barbosa and Andrew Reynolds and Yicheng Qian and Cesare Tinelli and Clark Barrett},
  year = {2025},
  url = {https://arxiv.org/abs/2505.15796},
  note = {Source identifier: 2505.15796}
}