Formally Verifying Peephole Optimisations in Lean

(l-m.dev) by l-mdev | Dec 23, 2025 | 0 comments on HN