v4.16.0-rc2

chore: bump to v4.16.0-rc2 (#1093)

v4.16.0-rc1

fix: remove docs lake manifest (#1083)

v4.15.0

chore: bump toolchain to v4.15.0 (#1080)

v4.15.0-rc1

chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch (#1073)

Co-authored-by: leanprover-community-mathlib4-bot <leanprover-community-mathlib4-bot@users.noreply.github.com>
Co-authored-by: Mario Carneiro <di.gama@gmail.com>
Co-authored-by: Jeremy Tan Jie Rui <reddeloostw@gmail.com>
Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>
Co-authored-by: Kyle Miller <kmill31415@gmail.com>
Co-authored-by: Matthew Ballard <matt@mrb.email>
Co-authored-by: Henrik Böving <hargonix@gmail.com>

v4.14.0

chore: bump toolchain to v4.14.0 (#1070)

v4.14.0-rc3

chore: bump toolchain to v4.14.0-rc3 (#1068)