正式验证 Lean 中的窥孔优化

Formally Verifying Peephole Optimisations in Lean

原始链接: https://l-m.dev/cs/formally-verifying-peephole-optimisations-in-lean/

启用 JavaScript 和 Cookie 以继续。