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: May 07 2021 at 00:30 UTC