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 :)

Till Wehling (Nov 24 2025 at 10:28):

On Tue., Nov 25, at 16:15, there will be a meeting in HS3.(See announcement in the institute) We meet weekly at this time, but the room changes.

Last updated: Dec 20 2025 at 21:32 UTC