Zulip Chat Archive

Stream: Geographic locality

Topic: Enschede, NL


Rick de Wolf (Oct 13 2023 at 08:13):

Hi folks! I'm a robotics MSc student looking for a PhD next year. I'm learning Lean to develop tools for engineering students. Hit me up if you're nearby, I'd love to chat :grinning_face_with_smiling_eyes:

Bob Rubbens (Feb 19 2024 at 08:57):

Hey, I'm from the FMT group in the zilverling building. I have a colleague in my team and we regularly discuss Lean, if you're still around we should hang out!

Bob Rubbens (Feb 19 2024 at 09:05):

Anyone else who's here of course feel free to reach out to us as well :) We're in room Zi 3082. We also have some group members working with Isabelle.


Last updated: May 02 2025 at 03:31 UTC