3 ms·AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean1 points by matt_d 8mo ago