leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: batteries

Topic: v4.3.0-rc1


Kim Morrison (Oct 31 2023 at 04:27):

std4#338 brings the standard library to the v4.3.0-rc1 toolchain.

Kim Morrison (Oct 31 2023 at 04:27):

I've already moved main up to the v4.2.0 toolchain, added a v4.2.0 tag there, and merged that into stable.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll