list of missing lemmas, theorems

Stream: maths

[François Sunatori]

Hi, I just merged my first PR to mathlib Today (it was a task that was proposed to me on this forum).
I'm now wondering if there's a list of missing lemmas, theorems somewhere or if there are groups of people working on some theory that may like some help from a novice :) Thanks!

[Mario Carneiro]

there are cofinitely many missing lemmas, that's a long list

[François Sunatori]

what would be a good way to know where I can try to contribute?

[Mario Carneiro]

You might find https://leanprover-community.github.io/undergrad_todo.html helpful

[François Sunatori]

ok thanks, I'll check it out!