Zulip Chat Archive
Stream: general
Topic: lean 3.11.0
Johan Commelin (May 08 2020 at 17:40):
Lean 3.11.0 is released! Thanks @Gabriel Ebner
Last updated: Dec 20 2023 at 11:08 UTC
Lean 3.11.0 is released! Thanks @Gabriel Ebner
Last updated: Dec 20 2023 at 11:08 UTC