BendVerify
Proof-of-concept competition and verifier for Bend compiler optimizations; a Lean-checked proof must establish equivalence of the submitted intermediate representation before it is benchmarked.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/kingcharlezz/bendverify ↗GitHubhttps://github.com/kingcharlezz/bendverify/blob/main/README.md ↗