Formally Verifying Peephole Optimisations in Lean

2 pointsposted 12 hours ago
by l-mdev
(l-m.dev)

No comments yet