L l-m.dev Formally Verifying Peephole Optimisations in Lean 26 points l-mdev 10 months ago 9 comments
