Zulip Chat Archive

Stream: general

Topic: Lean 3.8.0


view this post on Zulip 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!

view this post on Zulip Patrick Massot (Apr 10 2020 at 12:48):

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

view this post on Zulip Gabriel Ebner (Apr 10 2020 at 12:48):

Everything is possible if you submit the PR!


Last updated: May 07 2021 at 00:30 UTC