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: May 02 2025 at 03:31 UTC