Stream: Geographic locality
Topic: Freiburg, DE
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.
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:)
Joachim Breitner (Apr 16 2022 at 14:34):
Welcome! I guess I never posted here, but I'm in Freiburg too :-)
Johan Commelin (Apr 16 2022 at 14:35):
@Malte Jackisch Cool! Let's try to meet after the holidays!
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!
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.
Joachim Breitner (Apr 24 2022 at 20:09):
I'm traveling this week, but happy to join afterwards, if I may!
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