Looking for group projects

Stream: new members

[Daniel Morrison]

Hello!

I'm looking to get started doing projects in Lean and would like to have other people to work with. Are there any group projects suitable for beginners going on that are looking for more people? I am most knowledgeable in algebra, geometry, topology, and math education, but I'm happy to work in other areas as well.

[Kevin Buzzard]

What level of algebra? Are you an undergrad or a professor?

[Daniel Morrison]

I just completed my PhD in math which included some algebra

[Daniel Morrison]

I am mostly familiar with algebra at the intro graduate level

[Kevin Buzzard]

Well there is some commutative algebra theorem which needs doing, being discussed here :-)

[Dean Young]

@Daniel Morrison Do you like homotopy? You might like to meet with Jiazhen and I to see what we're doing.

[Daniel Morrison]

Yeah, I would be interested!

[Dean Young]

Take a look here where CW-complexes were recently formalized. I'll go ahead and message you some more info.