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