Zulip Chat Archive

Stream: Geographic locality

Topic: Gothenburg, Sweden


view this post on Zulip 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.

view this post on Zulip 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).

view this post on Zulip 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 :)

view this post on Zulip 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:

view this post on Zulip 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