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!
Nicolau Oliver (Jan 05 2026 at 17:00):
Sometimes I'm also visiting Barcelona, but I am still a novice to Lean
Austin Letson (Jan 05 2026 at 22:51):
Hi @Nicolau Oliver!
I will be moving there next month and would love to meet up when you are next in town!
Last updated: Feb 28 2026 at 14:05 UTC