TY  - RPRT
TI  - Lean-SMT: An SMT tactic for discharging proof goals in Lean
AU  - Abdalrhman Mohamed
AU  - Tomaz Mascarenhas
AU  - Harun Khan
AU  - Haniel Barbosa
AU  - Andrew Reynolds
AU  - Yicheng Qian
AU  - Cesare Tinelli
AU  - Clark Barrett
PY  - 2025
UR  - https://arxiv.org/abs/2505.15796
ID  - 2505.15796
ER  -