Zulip Chat Archive
Stream: Geographic locality
Topic: Vienna, AT
Martin Dvořák (Jul 13 2021 at 08:27):
Hi there! I live in Klosterneuburg / Maria Gugging, that is an Austrian town near Vienna. Is anyone nearby?
Martin Dvořák (Feb 07 2023 at 07:42):
Am I still the only Lean user around Wien?
Anton Mellit (Dec 18 2023 at 19:06):
Hi, I'm in Vienna, just started on Lean
Last updated: Dec 20 2023 at 11:08 UTC