chore: Update Lean to v4.31.0#79

samuelburnham merged 2 commits into

mainargumentcomputer/LSpec:mainfrom

lean-v4.31.0argumentcomputer/LSpec:lean-v4.31.0Copy head branch name to clipboard