Zulip Chat Archive Stream: new members Topic: lean4 elementary import question Kevin Sullivan (Sep 05 2023 at 23:04): (deleted) Last updated: May 02 2025 at 03:31 UTC