Zulip Chat Archive Stream: lean4 Topic: update Kenny Lau (Jan 05 2021 at 15:41): How do I update Lean4? Last updated: Dec 20 2025 at 21:32 UTC