v4.19.0-rc2
Pre-release
Pre-release
·
29 commits
to main
since this release
chore: bump toolchain to v4.19.0-rc2 (#1188) Co-authored-by: leanprover-community-mathlib4-bot <[email protected]> Co-authored-by: Johan Commelin <[email protected]> Co-authored-by: Matthew Ballard <[email protected]> Co-authored-by: Markus Himmel <[email protected]> Co-authored-by: Kyle Miller <[email protected]> Co-authored-by: Mario Carneiro <[email protected]> Co-authored-by: Sebastian Ullrich <[email protected]> Co-authored-by: Joachim Breitner <[email protected]> Co-authored-by: Mac Malone <[email protected]>