Zulip Chat Archive
Stream: Geographic locality
Topic: Dubai, UAE
Sidharth Hariharan (Jul 15 2022 at 15:14):
Greetings! I’m a first year undergrad at Imperial College London, but I’m an international student from Dubai. Just wanted to say hi to any Lean enthusiasts based here
Last updated: May 02 2025 at 03:31 UTC