Skip to content

v4.36.0-rc1

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Oct 19:43
· 420 commits to master since this release
v4.36.0-rc1
625d891 
chore: bump toolchain to v4.36.0-rc1 (#44879)

Co-authored-by: Anne C.A. Baanen <vierkantor@vierkantor.com>
Co-authored-by: Joscha <joscha@plugh.de>
Co-authored-by: downstream-lean4[bot] <downstream-lean4[bot]@users.noreply.github.com>
Co-authored-by: Anne Baanen <2116570+Vierkantor@users.noreply.github.com>
Co-authored-by: mathlib-nightly-testing[bot] <mathlib-nightly-testing[bot]@users.noreply.github.com>
Co-authored-by: Kim Morrison <kim@tqft.net>
Co-authored-by: mathlib4-bot <github-mathlib4-bot@leanprover.zulipchat.com>
Assets 2
Loading