lemmas: add bool2Word simplification for symbolic Bool expressions#2848

Draft

Stevengre wants to merge 4 commits into

sg/bool2word-symbolic-side-condition

Commits on May 25, 2026

evm-types: rewrite bool2Word rules with side conditions

Stevengre
and
claude
committed
bool2Word-symbolic-spec: drop redundant inline comments

Stevengre
and
claude
committed

Commits on May 26, 2026

switch to simplification lemmas in lemmas.k

Stevengre
and
claude
committed
lemmas: trim bool2Word simplification comment

Stevengre
and
claude
committed