Zulip Chat Archive Stream: general Topic: xkcd voting Tim Daly (Feb 04 2020 at 16:06): Tim Daly (Feb 04 2020 at 16:07): That's why we need Lean Last updated: May 02 2025 at 03:31 UTC
