v4.17.0-rc1
Pre-release
Pre-release
·
21 commits
to main
since this release
chore: bump toolchain to v4.17.0-rc1 (#1115) Co-authored-by: Kim Morrison <[email protected]> Co-authored-by: leanprover-community-mathlib4-bot <[email protected]> Co-authored-by: Matthew Ballard <[email protected]>