lean-smt: An SMT Tactic for Discharging Proof Goals in Lean. - Abdalrhman Mohamed; Tomaz Mascarenhas; Muhammad Harun Ali Khan; Haniel Barbosa; Andrew Reynolds 001; Yicheng Qian; Cesare Tinelli; Clark W. Barrett (CAV (3), 2025)

Lean-SMT: An SMT tactic for discharging proof goals in Lean. - Abdalrhman Mohamed; Tomaz Mascarenhas; Harun Khan; Haniel Barbosa; Andrew Reynolds 001; Yicheng Qian; Cesare Tinelli; Clark W. Barrett (CoRR, 2025)