Hacker Next
Formally Verifying Peephole Optimisations in Leanl-m.dev
19 points by l-mdev 7 days ago | 8 comments