Zulip Chat Archive Stream: lean4 Topic: update Kenny Lau (Jan 05 2021 at 15:41): How do I update Lean4? Last updated: Feb 28 2026 at 14:05 UTC