Zulip Chat Archive
Stream: Geographic locality
Topic: Istanbul, Türkiye
Abdullah Uyu (Feb 23 2024 at 17:11):
Any users from Istanbul? I am a math undergraduate from Galatasaray University.
Olcay Oransoy (Mar 16 2024 at 21:01):
Hello! I'm a CS undergrad at Sabancı University. Just started learning Lean, hoping to do cool things with it in the future.
Abdullah Uyu (Mar 17 2024 at 09:43):
Hey! Nice to hear, we might want to organize an event some time.
Last updated: May 02 2025 at 03:31 UTC