Zulip Chat Archive Stream: new members Topic: lean4 elementary import question Kevin Sullivan (Sep 05 2023 at 23:04): (deleted) Last updated: Feb 28 2026 at 14:05 UTC