feat: break MePo score ties by overlap#13834

raphael-solace wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

raphael-solace:rc/mepo-overlap-tiebreakraphael-solace/lean4:rc/mepo-overlap-tiebreakCopy head branch name to clipboard