HN
New
Show
Ask
Jobs
Built with Astro
AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean
(blog.lambdaclass.com)
1 points | by
matt_d
8 hours ago ago
No comments yet.