✨ 📝 Generate WASM Theorems#181

Open

yoshihiro503 wants to merge 2 commits intomainfrom

yoshihiro503@wasm_theorem_generator

Commits on Mar 24, 2026

feat: :sparkles: :memo: Generate the Theorems for the Verification of Target WASM code
Yoshihiro Imai
committed
Update core/wasm-to-v/src/translator.rs

0xGeorgii
and
Copilot
authored