online study group

Stream: new members

[De Paz]

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]

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]

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

[Kevin Buzzard]

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

[De Paz]

Thank you!

[Eric Wieser]

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]

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]

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.