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: May 02 2025 at 03:31 UTC
Lean 3.11.0 is released! Thanks @Gabriel Ebner
Last updated: May 02 2025 at 03:31 UTC