A stack-bytecode optimizer that emits machine-checkable equivalence certificates for every local rewrite.
bytecode-parser local-first programming-languages-compilers symbolic-stack-semantics rewrite-e-graph certificate-emitter minimal-proof-checker
-
Updated
Sep 18, 2026 - Python