Mohamed, A., Mascarenhas, T., Khan, H., Barbosa, H., Reynolds, A., Qian, Y., . . . Barrett, C. (2025). Lean-SMT: An SMT tactic for discharging proof goals in Lean.
Citazione stile Chigago Style (17a edizione)Mohamed, Abdalrhman, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, e Clark Barrett. Lean-SMT: An SMT Tactic for Discharging Proof Goals in Lean. 2025.
Citatione MLA (9a ed.)Mohamed, Abdalrhman, et al. Lean-SMT: An SMT Tactic for Discharging Proof Goals in Lean. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.