# Zulip Chat Archive

## Stream: Geographic locality

### Topic: Gothenburg, Sweden

#### Victor Ahlquist (Apr 12 2020 at 16:16):

Studying for a B.sc in maths at the University of Gothenburg. Trying to learn Lean in my spare time, hopefully I'll be good enough to contribute to mathlib in time.

#### Jannis Limperg (Apr 12 2020 at 18:43):

Hej! If you're interested in type theory more broadly, check out the Initial Types Club at Chalmers. It's a weekly-ish undergrad-friendly seminar on type theory and adjacent topics (or at least it was when I was there).

#### Victor Ahlquist (Apr 12 2020 at 20:11):

Thanks for the link. Unfortunately I'm more interested in the mathematical side of Lean rather than the type-theoretic, but I might check it out in the future if my tastes have changed :)

#### Jannis Limperg (Apr 12 2020 at 20:21):

I'll allow it. But be aware that this is all an elaborate scheme for generating type theory PhDs. :octopus:

#### Kevin Buzzard (Apr 12 2020 at 20:41):

It's supposed to be an elaborate scheme for getting mathematicians interested in theorem provers!

Last updated: May 09 2021 at 23:10 UTC