Zulip Chat Archive

Stream: Geographic locality

Topic: Heidelberg, DE


Christian Pehle (Jan 18 2021 at 00:03):

Hi to everyone close to Heidelberg :wave: .

Jasmin Blanchette (Jan 19 2021 at 01:44):

I often do Munich-Amsterdam by train. Does that count?

Darij Grinberg (Jan 26 2021 at 13:20):

Karlsruhe reporting in

Sebastian Ullrich (Jan 26 2021 at 14:50):

Karlsruhe already present :) https://leanprover.zulipchat.com/#narrow/stream/224796-Geographic-locality/topic/Karlsruhe.2C.20DE

Luigi Massacci (Sep 24 2023 at 19:48):

By any chance is there anyone else at the Laureate Forum in Heidelberg this week?

Joachim Breitner (Sep 24 2023 at 19:55):

I’m not there, but I was at the very first one. Enjoy, it’s a fine event!

Luigi Massacci (Sep 24 2023 at 21:02):

Thanks! I'm sure I will


Last updated: Dec 20 2023 at 11:08 UTC