Skip to content

feat: add KoalaBear extension and multilinear shift semantics#265

Closed
eliasjudin wants to merge 1 commit into
Verified-zkEVM:masterfrom
eliasjudin:eliasjudin/leanvm-m1
Closed

feat: add KoalaBear extension and multilinear shift semantics#265
eliasjudin wants to merge 1 commit into
Verified-zkEVM:masterfrom
eliasjudin:eliasjudin/leanvm-m1

Commits

Commits on Jul 10, 2026