Zulip Chat Archive

Stream: Geographic locality

Topic: Heidelberg, DE


view this post on Zulip Christian Pehle (Jan 18 2021 at 00:03):

Hi to everyone close to Heidelberg :wave: .

view this post on Zulip Jasmin Blanchette (Jan 19 2021 at 01:44):

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

view this post on Zulip Darij Grinberg (Jan 26 2021 at 13:20):

Karlsruhe reporting in

view this post on Zulip Sebastian Ullrich (Jan 26 2021 at 14:50):

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


Last updated: Jul 29 2021 at 20:11 UTC