Zulip Chat Archive
Stream: lean4
Topic: outdated
Kenny Lau (Jan 07 2021 at 08:24):
https://leanprover.github.io/download/
"Lean 4 is under development. There are no official releases yet."
is outdated
Johan Commelin (Jan 07 2021 at 08:25):
As I understand it, this is a milestone, but not the official Lean 4.0.0 release yet. I might be wrong though.
Kenny Lau (Jan 07 2021 at 08:26):
oh ok then
Last updated: May 02 2025 at 03:31 UTC