chore: update to lean v4.26.0-rc2 and latest verso#249

jcreedcmu wants to merge 1 commit into

leanprover:masterleanprover/fp-lean:masterfrom

jcreedcmu:masterjcreedcmu/fp-lean:masterCopy head branch name to clipboard