Zulip Chat Archive
Stream: Geographic locality
Topic: Göttingen, DE
Erik Babuschkin (Sep 21 2023 at 12:15):
I am a PhD student in Göttingen interested in lean, anyone else here?
Last updated: Dec 20 2023 at 11:08 UTC
I am a PhD student in Göttingen interested in lean, anyone else here?
Last updated: Dec 20 2023 at 11:08 UTC