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: Dec 20 2023 at 11:08 UTC