v4.31.0-rc1
Pre-release
Pre-release
·
789 commits
to master
since this release
chore: bump toolchain to v4.31.0-rc1 (#39980) Co-authored-by: Joscha <joscha@plugh.de> Co-authored-by: Kim Morrison <kim@tqft.net> Co-authored-by: Kim Morrison <477956+kim-em@users.noreply.github.com> Co-authored-by: mathlib-nightly-testing[bot] <mathlib-nightly-testing[bot]@users.noreply.github.com> Co-authored-by: leanprover-community-mathlib4-bot <leanprover-community-mathlib4-bot@users.noreply.github.com>