chore: Update Lean to v4.23.0#62

samuelburnham merged 2 commits intomainargumentcomputer/LSpec:mainfrom

lean-4.23.0argumentcomputer/LSpec:lean-4.23.0Copy head branch name to clipboard