leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Geographic locality

Topic: Bern, Switzerland


Daniel Fabian (May 29 2021 at 16:14):

Anyone in Switzerland at all? I just moved back from Cambridge, UK after 5 years.

Johan Commelin (May 29 2021 at 17:26):

Tobias Grosser is in Zurich, I think

Loreno Heer (Nov 30 2021 at 01:26):

Also in Bern / Zurich

Aron Erben (Jun 09 2022 at 15:47):

Zurich here too :wave:


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll