feat: add Novikov unsolvable word problem eval problem#383

kim-em merged 2 commits into

mainleanprover/lean-eval:mainfrom

knill-§122-novikov-unsolvableleanprover/lean-eval:knill-§122-novikov-unsolvableCopy head branch name to clipboard