feat: add quantum low individual degree soundness problem#474

LionSR wants to merge 2 commits into

leanprover:mainleanprover/lean-eval:mainfrom

LionSR:add-mipstarre-main-formalLionSR/lean-eval:add-mipstarre-main-formalCopy head branch name to clipboard