▲ 1 pointsAMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Leanblog.lambdaclass.comby matt_d·6mo ago·0 comments·view on hn ↗