Zulip Chat Archive

Stream: Geographic locality

Topic: Freiburg, DE


view this post on Zulip Johan Commelin (Feb 28 2020 at 05:14):

I'm in Freiburg, Germany. I've had some regular sessions with interested students, but these sessions have died down a bit. Would be interested in starting something again.

view this post on Zulip Malte Jackisch (Apr 16 2022 at 13:21):

Hi, I study math in Freiburg and I had some exercises in Lean in my algebra lecture last semester. I found it really interesting and I liked it. I would also be interested in a session:)

view this post on Zulip Joachim Breitner (Apr 16 2022 at 14:34):

Welcome! I guess I never posted here, but I'm in Freiburg too :-)

view this post on Zulip Johan Commelin (Apr 16 2022 at 14:35):

@Malte Jackisch Cool! Let's try to meet after the holidays!

view this post on Zulip Sebastian Ullrich (Apr 20 2022 at 09:35):

Btw, you all should also travel north some time and join us for a new, yet-to-be determined instance of K∀-B∃∃R!

view this post on Zulip Malte Jackisch (Apr 24 2022 at 17:19):

Johan Commelin said:

Malte Jackisch Cool! Let's try to meet after the holidays!

yes that woud be great:) my first week of semester will be full, from the second week on I have plenty of time.

view this post on Zulip Joachim Breitner (Apr 24 2022 at 20:09):

I'm traveling this week, but happy to join afterwards, if I may!

view this post on Zulip Johan Commelin (Apr 25 2022 at 05:23):

Sounds good to me! I'm also too busy to meet this week. So let's try something next week.


Last updated: Oct 06 2022 at 07:21 UTC