feat: update to lean v4.31.0#77

srghma wants to merge 1 commit into

argumentcomputer:mainargumentcomputer/LSpec:mainfrom

srghma:mainsrghma/LSpec:mainCopy head branch name to clipboard