Zulip Chat Archive
Stream: Geographic locality
Topic: Barcelona
Tomas Ortega (Sep 20 2025 at 21:50):
Hope to find some Barcelona-based Lean fans!
Austin Letson (Sep 21 2025 at 12:02):
I am moving to Barcelona in January and would love to meet up!
Julian Berman (Sep 21 2025 at 15:01):
The NY <-> BCN connection!
Last updated: Dec 20 2025 at 21:32 UTC