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?
TauTastic (Jul 14 2024 at 08:16):
Hi, I'm starting my bachelor's degree in mathematics in Göttingen this October :)
Last updated: May 02 2025 at 03:31 UTC