feat: add Szemerédi's theorem eval problem#285

kim-em wants to merge 1 commit into

mainleanprover/lean-eval:mainfrom

eval/szemeredileanprover/lean-eval:eval/szemerediCopy head branch name to clipboard