Our paper on the Automated Verification of Fundamental Algebraic Laws with Propel has been accepted at PLDI ‘24 📣