Zulip Chat Archive

Stream: Geographic locality

Topic: Atlanta, Georgia, USA

Joseph Tooby-Smith (Sep 11 2024 at 17:44):

I'm in Atlanta for the next week, and am going to be visiting often over the next year or so. Is anyone interested in Lean in this area?

Joseph Tooby-Smith (Mar 17 2025 at 15:23):

I'm going to be Atlanta for the next two weeks

Last updated: May 02 2025 at 03:31 UTC