Zulip Chat Archive Stream: lean4 Topic: update Kenny Lau (Jan 05 2021 at 15:41): How do I update Lean4? Last updated: May 02 2025 at 03:31 UTC