Use toolchain Lake comparator for evaluation - #665

Use toolchain Lake comparator for evaluation#665

kim-em merged 3 commits into

mainleanprover/lean-eval:mainfrom

bigger-runnersleanprover/lean-eval:bigger-runnersCopy head branch name to clipboard