Zulip Chat Archive

Stream: lean4

Topic: latest release of Lean

Asei Inoue (Nov 24 2025 at 23:37):

now latest release of Lean is v4.24.1?
https://github.com/leanprover/lean4/releases

I think latest release should be v4.25.2

Markus Himmel (Nov 25 2025 at 06:09):

Fixed, thanks.

Last updated: Dec 20 2025 at 21:32 UTC