Mohamed, Abdalrhman
- Lean-SMT: An SMT tactic for discharging proof goals in Lean
2025/05/21 by Abdalrhman Mohamed, Tomaz Mascarenhas, Mohamed, Abdalrhman +13 · 7 citations
Business, Management and Accounting · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quality and Management Systems #Quality and Supply Management