Zulip Chat Archive

Stream: general

Topic: Lean 3.8.0

Gabriel Ebner (Apr 10 2020 at 12:46):

I am proud to release the latest version of the Lean community fork, Lean 3.8.0! You can find a list of changes here: https://github.com/leanprover-community/lean/blob/master/doc/changes.md#v380c-9-april-2020
Thanks to @Simon Hudon, @Edward Ayers, @Chris Hughes, @Johan Commelin, @Anton Lorenzen, @Scott Morrison, @Mario Carneiro, @Yury G. Kudryashov, @Anne Baanen, @Wojciech Nawrocki for their contributions!

Patrick Massot (Apr 10 2020 at 12:48):

Will 3.9.0 be the one removing (almost) all math from the core library?

Gabriel Ebner (Apr 10 2020 at 12:48):

Everything is possible if you submit the PR!

Last updated: Aug 03 2023 at 10:10 UTC