Proof for soundness - #24

Proof for soundness#24

z-tech merged 1 commit into

z-tech/vc-and-sumcheck-refactorz-tech/z-lean:z-tech/vc-and-sumcheck-refactorfrom

ai-prover-20260531_121101z-tech/z-lean:ai-prover-20260531_121101Copy head branch name to clipboard