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: Feb 28 2026 at 14:05 UTC
Lean 3.11.0 is released! Thanks @Gabriel Ebner
Last updated: Feb 28 2026 at 14:05 UTC