Tony Wang

Stream: new members

[Tony Wang]

Hi everyone! I am brand new to Lean and am interested in contributing to mathlib.
I would be most interested in helping with analysis, probability theory, and linear algebra.
What's a good way to get started with this? Should I just pick some of the topics from https://leanprover-community.github.io/undergrad_todo.html and start working on them?

[Arthur Paulino]

I'd say ask the community if anyone is working on what you're aiming at beforehand to avoid duplicate effort. And if you're comfortable enough with Lean then I think you'll be fine?
Welcome :D

[Johan Commelin]

@Tony Wang welcome! Here's a curated sublist of that undergrad list: https://github.com/leanprover-community/mathlib/wiki/Undergrad-TODO-trivial-targets

[Martin Dvořák]

[wrong thread]