proofs for lemma distInterleavedCodeToCodeLB, e_leq_dist_over_3 and probOfBadPts#297

Open

FawadHa1der wants to merge 3 commits intoVerified-zkEVM:mainfrom

FawadHa1der:InterleavedCodes

Commits on Jan 26, 2026

proofs for lemma 4.3, 4.4 and 4.5
FawadHa1der
committed

Commits on Feb 18, 2026

Merge branch 'main' into InterleavedCodes
alexanderlhicks
authored

Commits on Feb 20, 2026

chore: warnings removed from AHIV22
FawadHa1der
committed