AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean

(blog.lambdaclass.com) by matt_d | Feb 17, 2026 | 0 comments on HN