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