Freiburg, DE

Stream: Geographic locality

[Johan Commelin]

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]

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]

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

[Johan Commelin]

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

[Sebastian Ullrich]

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]

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]

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

[Johan Commelin]

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