lol I'd love to contribute to mathlib

Stream: general

[Huỳnh Trần Khanh]

hmm so let's say I want to contribute to mathlib... I'm not quite sure what I should work on though... is there a list of tasks or something...

[Huỳnh Trần Khanh]

my project is in an orange bar hell and that's most likely because I don't follow best practices... so I want to contribute to mathlib to learn best practices and get corrected when I screw something up

[Yaël Dillies]

There is the undergraduate todo list and the good first projects but currently only one is listed.

[Stuart Presnell]

What areas of mathematics are you most interested in?

[Huỳnh Trần Khanh]

argh I know no math :sob: but I think I'm pretty good at learning new things... any suggestions?

[Huỳnh Trần Khanh]

well as an average person I do have some familiarity with high school math... so there you have it

[Huỳnh Trần Khanh]

I think game theory is somewhat interesting though

[Huỳnh Trần Khanh]

as well as anything... combinatorial perhaps

[Huỳnh Trần Khanh]

yeah

[Huỳnh Trần Khanh]

I find combinatorics pretty interesting lol

[Stuart Presnell]

So are you coming to this more from a computer science background?

[Huỳnh Trần Khanh]

kind of... but I don't have a formal education though. I'm just a garden variety programmer lol

[Huỳnh Trần Khanh]

I don't mind if I have to learn a lot of stuff

[Stuart Presnell]

How about graph theory? I think there's a reasonable amount of stuff already established but still lots to do.

[Stuart Presnell]

(Caveat: I'm pretty new to mathlib myself and haven't worked with the graph theory files!)

[Stuart Presnell]

Looks like there's plenty more to be proved about the Fibonacci sequence in data/nat/fib.lean. (The first 65 lines are technical implementation details, but the lemmas proved after that are quite straightforward.)

[Stuart Presnell]

If you have access to a book like Graham, Knuth & Patashnik's "Concrete Mathematics" you should be able to find plenty of theorems that you could try to formalize. Some of them will already be in mathlib but there's still lots of stuff to be done.

[Arthur Paulino]

There are also some approaches to generalize the Fibonacci sequence. For instance: https://www.researchgate.net/publication/282692966_Generalized_Fibonacci_Sequences_and_Its_Properties

[Arthur Paulino]

And I don't think we have anything about cryptography yet :thinking:
Just some areas I find interesting myself