Project idea: Schur functions

Stream: LFTCM 2024

[Alessandro Iraci]

Thread for the Schur functions project!

Disclaimers: I'm really not a Lean expert (it would be great to have one on board!), there is pretty much nothing about symmetric polynomials in Lean (I have an open PR with some very basic stuff), and I just came up with this, so I don't have a clear plan on how to proceed. But we can figure it out together!

[Alessandro Iraci]

I'll join the group representation project, then I'm happy to come back to this one if enough people show up!