Zulip Chat Archive
Stream: Geographic locality
Topic: Lebanon
Rida Hamadani (May 24 2024 at 07:35):
@Jafar Tanoukhi and I are meeting in Beirut to chat about Lean. We would be happy if you could join us. :big_smile:
Bashar Hamade (Jun 02 2024 at 15:27):
Well I'm part of both Lebanon and Saarbrücken chats I guess :)
Last updated: May 02 2025 at 03:31 UTC