Zulip Chat Archive
Stream: general
Topic: lean release note for v4.24.0
Asei Inoue (Oct 16 2025 at 01:08):
title is wrong?
https://lean-lang.org/doc/reference/latest/releases/v4.24.0/#release-v4___24___0
Asei Inoue (Oct 16 2025 at 01:09):
title still says it is rc…
Kim Morrison (Oct 16 2025 at 04:54):
Thank you, good catch!
Last updated: Dec 20 2025 at 21:32 UTC