Character theory

Stream: general

[Marwan Benyoussef]

Hello everyone,

I am new to Lean (since yesterday).
I was wondering if there is any libraries for character theory, or representation theory. For instance verifying proofs involving character tables for linear groups?

Many thanks for your lights.

[Riccardo Brasca]

The very basics of representation theory landed in mathlib very recently, see for example here. At the moment we are missing a lot of results, but all contributions are very welcome!