fix: support Lean 4.33.1 and sextic proof replay - #1

fix: support Lean 4.33.1 and sextic proof replay#1

yudduy wants to merge 1 commit into

zksecurity:mainzksecurity/CompPoly:mainfrom

yudduy:codex/zksecurity-lean-4-33-1yudduy/CompPoly:codex/zksecurity-lean-4-33-1Copy head branch name to clipboard