Zulip Chat Archive Stream: Lean for the curious mathematician 2020 Topic: Wednesday jumping about Kevin Buzzard (Jul 14 2020 at 18:47): (deleted) Last updated: May 02 2025 at 03:31 UTC