Zulip Chat Archive
Stream: Geographic locality
Topic: San Diego, CA, USA
Stephen Hicks (Dec 08 2023 at 18:30):
Hello
I'm from Encinitas, CA in San Diego County, very close to the city of San Diego. I'm a retired EE, just learning Lean for fun.
Last updated: Dec 20 2023 at 11:08 UTC