Gothenburg, Sweden

Stream: Geographic locality

[Victor Ahlquist]

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]

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]

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]

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

[Kevin Buzzard]

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