Zulip Chat Archive

Stream: new members

Topic: online study group


De Paz (Nov 27 2024 at 11:42):

Hey guys, I hope this is the right channel for this.

I'm a phd student in representation theory (finite dimensional algebras, triangulated categories, torsions pairs) who would like to formalize some of her work (at some point in the future). I'm looking for other newbies who just want to share the frustration of learning lean together.
I'd like to meet online maybe twice a month to work together on projects of our choosing. But I'm open to suggestions.
To my background: I've had an on-off relationship with lean over the years that I'd like to solidify and I consider myself a newbie:D

Let me know if you are interested, (I'm based in Verona, Italy btw) or if you know where I could find such groups.

Thank you!

Ilmārs Cīrulis (Nov 27 2024 at 17:25):

De Paz said:

I'm looking for other newbies who just want to share the frustration of learning lean together.
I'd like to meet online maybe twice a month to work together on projects of our choosing.

I'm a newbie too and I would like to join such online study group.

Bolton Bailey (Nov 27 2024 at 17:27):

You all might be interested in this discord, I've seen people learning in there together before.

Kevin Buzzard (Nov 27 2024 at 23:20):

@De Paz that's my private discord server, you'd be welcome to run an online study group for mathematicians there

De Paz (Nov 28 2024 at 13:03):

Thank you!

Eric Wieser (Nov 29 2024 at 09:26):

Kevin Buzzard said:

De Paz that's my private discord server, you'd be welcome to run an online study group for mathematicians there

The link above is not your server as far as I can tell

Kevin Buzzard (Nov 29 2024 at 19:10):

Oh apologies -- I clicked on it and it went to my server. Perhaps what happened is that I clicked on it and it opened discord and the last time I closed Discord I was visiting my server? Indeed, that seems to be the public Lean discord.

Bolton Bailey (Nov 29 2024 at 20:37):

Yeah sorry, my link is for @Martin Dvořák 's Discord, I am not a member of Kevin's Discord but Kevin's might be even more appropriate, because I think it's specifically for students.


Last updated: May 02 2025 at 03:31 UTC