Zulip Chat Archive

Stream: maths

Topic: 3.6.1 mathlib?

view this post on Zulip Kevin Buzzard (Mar 02 2020 at 10:36):

Does this
rss-bot said:

chore(*): release version 3.6.1
chore(*): release version 3.6.1

mean that I should now update my Lean repos to 3.6.1 if I want to get the latest mathlib goodies?

view this post on Zulip Rob Lewis (Mar 02 2020 at 11:08):

If you're using mathlib you should only pay attention to what goes on in the mathlib repo. mathlib is still on 3.5.1. https://github.com/leanprover-community/mathlib/blob/master/leanpkg.toml

Last updated: May 19 2021 at 00:40 UTC