Searching protocol for "code equivalence"
Prove program equivalence.
Prove code equivalence, not just test it.
Structured, safe cross-language code translation.
Stata ↔ R code translator
Verify code behaves identically.
Migrate Daytona code to Blaxel with ease.
Ensure code changes don't break functionality.
Migrate SwiftData to SQLiteData with patterns.
Turn decompiled code into clean, readable C++.
Translate C# to idiomatic Java.
Generate domain predicates and orders.
Convert Python to Lean4