Research

PPDP 2025: Abstract Machines and Small-step Semantics: a Winning Ticket for Proof Automation?