Zulip Chat Archive

Stream: maths

Topic: list of missing lemmas, theorems


François Sunatori (May 27 2021 at 00:52):

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 (May 27 2021 at 00:56):

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

François Sunatori (May 27 2021 at 01:01):

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

Mario Carneiro (May 27 2021 at 01:02):

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

François Sunatori (May 27 2021 at 01:19):

ok thanks, I'll check it out!


Last updated: Dec 20 2023 at 11:08 UTC