chore: bump to latest Lean and Verso for a bug fix#232

david-christiansen merged 1 commit into

masterleanprover/fp-lean:masterfrom

bump-2025-10-23leanprover/fp-lean:bump-2025-10-23Copy head branch name to clipboard